Writer.Kernel_object
record type = 7
val size_word : name:string -> args:Arguments.t -> unit -> int
type ty = int
val ty_process : ty
val ty_thread : ty
val encode : Buf_chain.t -> name:string -> ty:ty -> kid:int -> args:Arguments.t -> unit -> unit