[user] type = door_t type-forward-decl = typedef struct door_t door_t; type-decl = struct door_t { ex1_state_t fsm; }; field = fsm