-- empty: NOT EVEN library (otherwise compiler error)