R42 : deallocation of allocatables
**********************************

**status** : is this still valid? Would also be extremely difficult to check automatically

All allocated arrays should be explicitly deallocated.