It looks like Ur/Web's inlining improved. Alas, it appears to now interfere with my ability to stage code: (**) fun main n = let val x = foo n in return <xml><body><active code={txn; return x} /></body></xml> (**) where foo is some benignEffectful function, it looks like x is now being inlined (which is no good if it's FFI!) Any ideas? Edward