Add INT3 to onDemandTrap

Signed-off-by: Francis Deslauriers <fdeslaur@gmail.com>