we use `//` for inline comments