alias c1 { return $+( 14,1 $1-,) }
alias c2 { return $+( 12 $1-,) }