#include "c_linkage.h"

int main(void) {
    return makeInt();
}