--TEST--
smoke
--INPUT--
SELECT 0X0123456789ABCDEF;
--EXPECTED--
E SELECT
1 0X0123456789ABCDEF
; ;

