% This comment does not end with newline