25.13.3 Variadic Functions

Functions getting an arbitrary number of arguments are denoted like this:

fun printf (string fmt, args…) void: { … }

The variadic argument shall be the last argument in the function, and it is of type any[].