A small bytecode VM implemented in Go for rwthctf2013