FileOutputPort
{FileOutputPort.Close}:int
{FileOutputPort.Flush}:void
{FileOutputPort.init fname:text bufsize:int=512}
{FileOutputPort.InitializeOut handle:int bufsize:int}
{FileOutputPort.WriteCh c:char}:void
{FileOutputPort.WriteSlice t:text start:int len:int}:void
{FileOutputPort.WriteText t:text}:void