let lin (case:coord) = (fst case) + 8*(snd case)