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