The Vec explicit-value constructor should use its size parameter to distinguish between two cases: the empty case and the non-empty case. Here is one way you might do so:
  1. Set mySize to size;
  2. If size is positive: Otherwise: