I know that these are autogenerated but it would be good to make put this magic constant at the top.