added stl_empty