Introduce IS_NONEMPTY box flag.