slicing from a formal parameter is back!