(run_and_halt(quote NIL))