// Placeholder to allow overriding predefined variables.