from __future__ import annotations
from angr.procedures.java import JavaSimProcedure

# pylint: disable=arguments-differ,unused-argument


class Exit(JavaSimProcedure):
    NO_RET = True

    __provides__ = (("java.lang.System", "exit(int)"),)

    def run(self, exit_code):
        self.exit(exit_code)
