Occam for the Pyton virtual machine