int main()
{
print_hello_world();
printf("%d\n", add_integers(1, 2));
print_hello_world();
printf("%d\n", add_integers(4, 2));
return 0;
}
/**
* Adds two primitive summands resulting in the primitive sum.
*
* @param p0 the sum
* @param p1 the summand 1
* @param p2 the summand 2
* @param p3 the abstraction
* @param p4 the abstraction count
*/
void add_primitives(void* p0, const void* p1, const void* p2, const void* p3, const void* p4) {
if (p4 != NULL_POINTER) {
int* ac = (int*) p4;
//�The done flag.
int d = 0;
// The comparison result.
int r = 0;
if (d == 0) {
if (*ac == INTEGER_ABSTRACTION_COUNT) {
compare_array_elements(p3, (void*) &INTEGER_ABSTRACTION, (void*) &CHARACTER_ARRAY, (void*) &INTEGER_ABSTRACTION_COUNT, (void*) &r);
if (r == 1) {
add_integers(p0, p1, p2);
d = 1;
}
}
}
} else {
//?? log_message((void*) &ERROR_LOG_LEVEL, (void*) &COULD_NOT_HANDLE_CREATE_MODEL_SIGNAL_THE_SIGNAL_PARAMETERS_COUNT_IS_NULL_MESSAGE, (void*) &COULD_NOT_HANDLE_CREATE_MODEL_SIGNAL_THE_SIGNAL_PARAMETERS_COUNT_IS_NULL_MESSAGE_COUNT);
}
}