make test_checked_procedure_check_and_extract impersonator/chaperone friendly