use "sequence_queries.g"; use "iterator_models.g"; fun main () -> int @;