#include "userlib/syscall.h"

int main() {
    Shutdown();
    return 0;
}