hphp_process_abort

function hphp_process_abort( $magic, );