Machine first tests, bytecodes
Additional tests for machine block