Get the total number of requests dispatched since the server started
namespace HH; function get_request_count(): int;
int