Use `/** ... */` style for header comments only.