Given the -ftrapv-handler option now in the tree, the most straightforward way to support our heavier-weight handler would seem to be something like a new option "-ftrapv-handler-verbose". Would this be looked upon favorably? Thanks, John