I don't know the api... this came into my mind while reading the code... someone of the hhvm staff will help out, I am pretty sure ;-)