The HipHop Virtual Machine