An Obeyfile is bc. Null | (Obeyfile : Command) A command has a result of one of bc. CLI_OK, CLI_BAIL, CLI_ERROR e, APP_OK, APP_BAIL, APP_ERROR e *Examples* of results bc. CLI_OK: *Echo CLI_BAIL: *Obey CLI_ERROR: *Error 0 Hello APP_OK: *Quit APP_BAIL: *Quit : *Obey APP_ERROR: *Memory FFFFF000 Then an Obeyfile @o:c@ has result bc. R(o:c) := R(c) if R(o) = CLI_OK CLI_BAIL if R(o) = CLI_BAIL CLI_ERROR e if R(o) = CLI_ERROR e APP_BAIL if R(c) = CLI_BAIL, | if R(o) = APP_OK max{APP_OK, R(c)} otherwise | APP_BAIL if R(o) = APP_BAIL APP_ERROR e if R(o) = APP_ERROR e where bc. CLI_OK < APP_OK < APP_ERROR The result of Obeyfile @f@ is the result of the command @*Obey f@.