@$pb.TagNumber(3) $core.int get promptTokens => $_getIZ(2);
@$pb.TagNumber(3) set promptTokens($core.int value) => $_setSignedInt32(2, value);