Defines starting with `v' in src/debug