// this is a one-line comment