let parse_popcon s = match Str.split space_re s with |rank::name::inst::_ -> (int_of_string rank,name,int_of_string inst) |_ -> fatal "Parse error %s\n" s