#include <lib9.h>

char *argv0;