UNREACHABLE\
assertion failed: false
UNREACHABLE\
assertion failed: false
SUCCESS\
assertion failed: a == *b