Se non ricordo male in C puoi anche scrivere

codice:
int $ = 1234;

printf("%d\n", $);