definition.grmd:1:1: We cannot use "**" as a mark end because it is multiple characters.
