The Tiny PHP VM