badDrop : Unit -> Unit;
badShare : Unit -> Unit;
create : Unit -> Buf;
example : Unit -> Unit;
example u = let buf1 = (create[] : Unit -> Buf) (Unit : Unit) : Buf
            in let buf2 = (write[] : Buf -> Buf) (buf1 : Buf) : Buf
               in (free[] : Buf -> Unit) (buf2 : Buf) : Unit
               end : Unit
            end : Unit;
free : Buf -> Unit;
write : Buf -> Buf;