add useful code supporting int3 event testing