$f=is_empty($x)
