#include <stdint.h>

int32_t fortytwo() {
	return 42;
}

int32_t mul(int32_t a, int32_t b) {
	return a * b;
}