added is_empty function-declaration