1#include <assert.h>
 2
 3// TODO we would like to #include "mathtest.h" here but this feature has been disabled in
 4// the stage1 compiler. Users will have to wait until self-hosted is available for
 5// the "generate .h file" feature.
 6
 7#include <stdint.h>
 8int32_t add(int32_t a, int32_t b);
 9
10int main(int argc, char **argv) {
11    assert(add(42, 1337) == 1379);
12    return 0;
13}