Be careful: the `%@` token only works with `MCStringFormat()` and such, but not with the C-standard formatting functions like `printf()`, `fprintf()` and all the derivatives! You must keep the use of a C-string here, so `MCStringGetCString()` can't be avoided in that case.