int lib(int x)
{
  return -x;
}