hphp_instruction_counter

function hphp_instruction_counter();