#include "userlib/syscall.h"
#include "userlib/libnachos.h"

// EXPECTS TWO VARIABLES WITH A VALUE OF UNSIGNED 1
int main() {
    unsigned int x = 0;
    unsigned int y = 1;
    x = x + y;
}