macro dyn_format_args($args/* ... */) { ... }

Receiver macro for format_args that constructs an array of type-erased pointers to to the formatting args, which can then be printed with write_fmt.

This is the default receiver for standard formattimg macros like write and writeln and is used primarily to reduce code size as doing it statically would lead to