Value read 2 val (a, n) = c