This Directory is AUTO-GENERATED. Do not modify directly, run ./tools/redir-gen.