type State = enumeration(Standard "1: TCB is in normal state", Armed "2: TCB is armed", Locked "3: TCB is blocked");