> structure S1:> > sig > type u > type t = u Finalizable.t > end = > struct > type u = Pointer.t > type t = u Finalizable.t > end Good idea. It will make my program a little simpler. Sometimes writing code to access a C struct is very straightforward. If I continue my effort, maybe I'll need a program which generates the access-code. Vesa