add hhvm_example.php