renamed int