type T00 = bigint;