printf problems

On Solaris:

[eclipse 1]: printf("123", [Hello]).
Segmentation violation - possible reasons are:
- a faulty external C function
- certain operations on circular terms
...

On Linux:

[eclipse 2]: printf("123", [Hello]).
bad argument list in printf("\215C\020\351\237", [BAD_TERM_0x2_0x8125c20, BAD_TE
RM_0x812eda0_0x823bd50|BAD_TERM_0x81191a0_0x80fff48])
123[eclipse 3]: 

this problem seems to date back to 5.0. On 4.2:

[eclipse 1]: printf("123", [Hello]).
123
Hello = Hello

Seems to work fine if more than one term appear in the second argument:

[eclipse 1]: printf("123%wthere", [Hello,There]).
bad argument list in printf("%wthere", [Hello, There])