using System;
using Nemerle.IO;

printf("Value = %d", "s")