Printf's in default handlers for debugging