import LIB/default.lm;

main := λ. (: (
   (let index (: BTreeIsEOF BTreeIs<U64,U64>))
   (.bind( 
      (as (& index) BTreeIs<U64,U64>[]) 1_u64 4_u64
   ))
   (.bind( 
      (as (& index) BTreeIs<U64,U64>[]) 2_u64 5_u64
   ))
   (.bind( 
      (as (& index) BTreeIs<U64,U64>[]) 3_u64 6_u64
   ))
   (print (.lookup( index 1_u64 0_u64 )))
   (print (.lookup( index 2_u64 0_u64 )))
   (print (.lookup( index 3_u64 0_u64 )))
   (print (.lookup( index 4_u64 0_u64 )))
) Nil);