// PERMUTE_ARGS:

extern(C) int printf(const char *, ...);

int main(char[][] args)
{
    printf("hello world\n");

    return 0;
}