4
empty.      1.  empty.      0.  empty.
empty.  empty.      1.      0.  empty.
empty.      1.  empty.      0.  lambda.
empty.  empty.  empty.    0+1.  empty.