Value read 16 val (x1, y1) = f()
