/*
 * Below is the given application for lab1_1. 
 * 
 * You can build this app (as well as our PKE OS kernel) by command:
 * $ make
 *
 * Or run this app (with the support from PKE OS kernel) by command:
 * $ make run 
 */

#include "user_lib.h"

int main(void) {
  printu("Hello world!\n");

  exit(0);
}