"TYPE-WARNING" "LOCAL-ARGUMENT-MISMATCH"
"FORMAT-ARGS-MISMATCH" "FORMAT-TOO-FEW-ARGS-WARNING"
"FORMAT-TOO-MANY-ARGS-WARNING" "EXTENSION-FAILURE"
"TYPE-WARNING" "LOCAL-ARGUMENT-MISMATCH"
"FORMAT-ARGS-MISMATCH" "FORMAT-TOO-FEW-ARGS-WARNING"
"FORMAT-TOO-MANY-ARGS-WARNING" "EXTENSION-FAILURE"