debugging.h: use int 3 on amd64 too