linkname "printf" int printf(char+> fmt, ...*);

() test()
{

    /* ERRORS not possible to determine type */
    printf("hello %s\n", none);
    printf("hello %s\n", [123,]);
    printf("hello %s\n", (123,));
    
    //printf("hello %d\n", 123); // FIXME uses smallest possible type! should generate an error!
}