We usually put a space after the comment string `//`