illegal instruction
Major Section: PROOF-CHECKER-COMMANDS
Example: (illegal -3) General Form: (illegal instruction)Probably not of interest to most users; always ``fails'' since it expands to the
fail command.The illegal command is used mainly in the implementation. For
example, the instruction 0 is ``read'' as (illegal 0), since dive
expects positive integers.