hphp_instruction_counter

function hphp_instruction_counter(): int;