void print_text_formatted(char *text)
{
    blahblahblah;
}

char something[] = "foobar";

print_text_formatted(something);