char *name(void) { return "foo"; }