Originariamente inviato da oregon
Se non ricordo male in C puoi anche scrivere

codice:
int $ = 1234;

printf("%d\n", $);
Ho provato ora e funziona...