The simplest TinyOS program

There is some value in knowing the the simplest code that can be compiled without errors. The C equivalent is

int main () {

  return 0;

}

which is written in a file, say, simple.c and compiled with the command

$ gcc test.c

which produces the executable file a.out, which of course does nothing!