e.g. This should be `{tc2pydecl.indent12}`, or equivalent.