Haskell SECD machine with C backend