DB_EXECUTE
DB(DB_EXECUTE, printk("EX("))
DB(DB_EXECUTE, printk(")EX-0 "))
DB(DB_EXECUTE, printk(")EX-1 "))
DB(DB_EXECUTE,