init{
	deck := nil
	
}
channel CIO {
	out deck(s, input(x)) == x
	out deck(p:List, inp(x:Tuple)) == cons(x, sortCard(cons(x, p)))
	out geck(p:Int, inp(x:Tuple)) == length(sortCard(cons(x, p)))
}
channel C{

}