case attrByName m "Code" of
Nothing -> printfBb "exception: no handler for this method\n"
Just exceptionstream -> printfBb "exception: \"%s\"\n" (show $ codeExceptions $ decodeMethod exceptionstream)
case attrByName m "Code" of
Nothing -> printfBb "exception: no handler for this method\n"
Just exceptionstream -> printfBb "exception: \"%s\"\n" (show $ codeExceptions $ decodeMethod exceptionstream)