Rendering Hyperloop for Windows code from Alloy