int main(int, char**)
{
  return VALUE;
}