from __future__ import annotations
import angr
import logging

l = logging.getLogger(name=__name__)


class brk(angr.SimProcedure):
    """
    This implements the brk system call.
    """

    # pylint:disable=arguments-differ

    def run(self, new_brk):
        r = self.state.posix.set_brk(new_brk)
        l.debug("brk(%s) = %s", new_brk, r)
        return r
