: void rb_exit(int status)

