Separate compilation and execution of imperative synchronous modules