type(1 * i64)
