lists_foldl_empty_atom_starter(foo).
lists_foldl_empty_unbound_starter(ok).