* x := 2; y := 3; read(a, b);