Mario is a HTTP headers parser