Use renaming syntax