This can be one line (i.e., no newline needed).