Iterable: Workaround a bug in example/core/to.cpp
Searchable: add some laws