#include <tcclib.h>

extern int add(int a, int b);

int start() {
	int a = 3;
	int b = 4;
	printf("add(%i, %i): %i\n", a, b, add(a, b));
	return 0;
}