Stk500: module { PATH: con "/usr/m/stk500/stk500.dis"; init: fn(nil: ref Draw->Context, nil: list of string); Message : adt { sequence_number: byte; message_body: array of byte; read: fn(m: self ref Message) : int; write: fn(m: self ref Message) : int; }; };