#include "lib9.h"

char *argv0;