burritos/test_programs/userlib/libnachos.o