code: rename identifiers `with` since it is a keyword now