(* $Id$ *) val init: unit -> unit