 --       -- return the TmFalse term
 --       newStablePtr (TmFalse (Info l c))
 -- @
+--
 tokenGetLine :: Ptr (CommonToken) -> IO Int
 tokenGetLine token = {#get ANTLR3_COMMON_TOKEN->line#} token >>= return . cIntConv

--            token2 <- lT input 2 >>= tokenGetType
--            return ((token2 /= CHAR) && (token2 /= SHORT) && (token2 /= LONG))
-- @
{#fun LT as lT
 { toInputStream `Ptr (InputStream)',
   `Int' } -> `Ptr (CommonToken)' fromCommonToken#}

--       -- return the TmTrue term
--       newStablePtr (TmTrue (Info l c))
-- @
--
tokenGetCharPositionInLine :: Ptr (CommonToken) -> IO Int
tokenGetCharPositionInLine token = {#get ANTLR3_COMMON_TOKEN->charPosition#} token >>= return . cIntConv

-- | Obtain the the source code line of where the token was read, for non-imaginary tokens.
--
-- @
--   foreign export ccall saFalse :: Ptr CommonToken -> IO (StablePtr TermInfo)
--   saFalse token =
