• cnt_t : niltypes.h
• intctx_t : nil.h
• msg_t : niltypes.h
• stkalign_t : nilcore.h
• systime_t : niltypes.h
• tfunc_t : nil.h
• thread_config_t : nil.h
• thread_ref_t : nil.h
• thread_t : nil.h
• tstate_t : niltypes.h