// PERMUTE_ARGS:
extern(C) int printf(const char *, ...);
int main(char[][] args)
{
printf("hello world\n");
return 0;
}