#include "lib.h"

int main()
{
  int c = add(3, 4);
  //@assert c == 7;
  return c;
}