
[;1m  nonempty_list()[0m

  A [;;4mlist/0[0m that contains some items.
