__dummy_encode encoder litCount = evalState (runReaderT encoder emptyEnv) litCount
__dummy_encode encoder litCount = evalState (runReaderT encoder emptyEnv) litCount
__dummy_encode encoder litCount = evalState (runReaderT encoder emptyEnv) litCount