Use the `//` line-comments in header for consistency with other rust code.