A 32 bit educational virtual machine