pub const rb_thread_status_THREAD_KILLED: rb_thread_status = 3;