bug in limp causing failed_unreachable