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