#include "lib9.h" char*getuser(void){	/* could do better, but result isn't really used */	return "unknown";}