#include "gbos.h"
void main(void) { putu(getpid()); nl(); }