Module Jane_street_headers