#include "libio"

class printer {
    public const doPrint = io::printf;
}

printer p {}

proc main()
{
    p.doPrint("Hello %s!\n", "world");
}