src/examples/printf.c


1
2
3
4
5
6
7
8
9
10

#include <stdio.h>
#include <syscall.h>

int
main (int argc, char **argv)
{
  printf ("You got it, use your debugging skills during the labs!\n");

  return EXIT_SUCCESS;
}