(* This file produced an incorrect line number for the error,
because the string in set swapping = "..."  contains several lines *)

free c: channel.
free m,n: bitstring.

set swapping = "tag1 -> 

tag2".

process
    (
        out(c,m);
        sync 1 [tag1];
        out(c,cho ice[m,n])
    )|(
        sync 1 [tag2];
        out(c,choice[n,m])
    )

(* EXPECTPV
Error: Syntax error.
xtime: error in child process (status : 2)
END *)
