int
__write (void)
{
}