SUCCESS\
unreachable code
SUCCESS\
attempt to multiply with overflow
SUCCESS\
assertion failed: z == 6