types

The followng user defined types are provided by arwen32dib: