Deprecated red-specific code