formatting for Mercury coding standards, description