> about it. Oh yeah, one other thing I just saw -- if the order of the newDecs > doesn't matter, you can use an appendRev instead of @. But that's very minor. The order of the newDecs doesn't matter; they are all of the form: fun L_Y () = raise (global_y) I'll throw it in, but I can't imagine the newDecs list getting much bigger than a dozen or so elements.