A virtual machine for the pseudo-ASM in the RUG Compiler Construction course