An Experiment with the ``record class'' as suggested by C.A.R.Hoare