Source position: googlereplicapool.pp line 478
type TInstanceGroupManagersResizeOptions = record
size: Integer;
end;