i64 * int(1)
