#include #include "source.h" #include "../xassert.h" int ret_1() { return 1; } double div(double a, double b) { assert(b != 0.0); return a/b; } int add(int a, int b) { return a + b; } int str_equals(const char *s1, const char *s2) { return strcmp(s1, s2) == 0; }