free : Buf -> Unit;
init : Unit -> Buf;
noDrop : Unit -> U8;
noEscape : Unit -> Unit;
noShare : Unit -> U8;
read : Buf! -> U8;
test : Unit -> U8;
test u = let buf = (init[] : Unit -> Buf) (u : Unit) : Buf
         in let! (buf) x = (read[] : Buf! -> U8) (buf : Buf!) : U8
            in let u2 = (free[] : Buf -> Unit) (buf : Buf) : Unit
               in x : U8
               end : U8
            end : U8
         end : U8;