A HLVM for running circuit-like programs