Use the default trap handler in Patmos