class Manager : Employee

     {

         public int StockOptions { get; set; }

         public Manager(string fullName, int age, int empID,

           float currPay, string ssn, int numbOfOpts)

             : base(fullName, age, empID, currPay, ssn)

         {

             // This field is defined by the Manager class.

             StockOptions = numbOfOpts;

         }

         // Add back the default ctor

         public Manager() {}

     }