rename arguments
minir changes in Bit64 module