let concat path1 path2 = 
    f2s (PathOperation.concat (s2f path1) (s2f path2))