Optional parameter to avoid renaming identifiers