Re: Compile time FFI

[andrea]

One thing to keep in mind is that having FFI in the VM allows it to also work 
in the secret interpreter. This ensures that one can try out more things 
interactively, such as anything that needs `times` for instance.