void main(){ print(“%d”,printf(“What this prints”)) };