@$pb.TagNumber(1) ICPTs get totalSupply => $_getN(0);
@$pb.TagNumber(1) set totalSupply(ICPTs v) { setField(1, v); }