Change type of argument from uint32 to uint