Add declaration of is_empty();