It might work -- I just tried it and got the sorts of errors from s7test.scm that you'd expect, but nothing horrifying. I haven't changed those typedefs in a very long time -- I think s7_int has to be 64 bits.