Submitted by Nikolay Sturm <sturm@sec.informatik.tu-darmstadt.de>. LablGTK is is an Objective Caml interface to gtk+.