PosixState
enum PosixState p_s = posix_state;
enum PosixState p_s;
enum PosixState posix_state = PS_NOT_YET;