let
failwith str = failwith (name ^
"."
^ str)