using System;
using Nemerle.IO;

printf("Value = %d", 2 + 2, 5)