Made the UNREACHABLE flag work