static void do_stop(int argc, const char **argv)

{

    vm_stop(EXCP_INTERRUPT);

}

static void do_stop(int argc, const char **argv)

{

    vm_stop(EXCP_INTERRUPT);

}

static void FUNC_0(int VAR_0, const char **VAR_1)

{

    vm_stop(EXCP_INTERRUPT);

}

static void FUNC_0(int VAR_0, const char **VAR_1)
{ vm_stop(EXCP_INTERRUPT); }