<> <> Compile CountedVM CountedVMImpl