$f=is_empty_map($*)
