new file:   bug6342.ml