INTERFACE Integer32Matrix = Matrix (Integer32Basic, Integer32Vector, Integer32MatrixSupport, Integer32MatrixBasic) END Integer32Matrix.