VM translator for the book "Elements of Computing Systems"