Passing rest arguments for OS161