DECLARE Zero : INTEGER Zero <- 0 OUTPUT 1 MOD Zero OUTPUT "unreachable"