@red-balloon-89377: the razor is: "all args that you don't want

def main(args: Array[String])

to receive"