sig
exception
Inconsistent
exception
Valid
exception
Incomplete
end