use "sequence_queries.g";

use "sequence_mutation.g";

use "slist.g";





struct foo {
int x;
};

model 
DefaultConstructible< foo* > [

];

model 
Regular< foo* > [

];

fun main
() -> int @;