post debug: (result ? s Sequence => s.count<=max_count | * => true)
     debug 10 : (result ? s Sequence => s.is_array_backed | * => true)