replace uint32 with uint