Buffer.dec_is_empty is now transparent