/* Generated by scripts/tools/dark_legacy.py: nothing to override. */