clarify why we have to register bcpc-vm machines