Python port of httperfrb