Defines starting with `d' in mint