autogenerated headers for @