Make use of default debug instruction