Renamed variable due to conflict with built-in symbol