129a130,135
> virtual Port *getPort(const std::string &name, int idx)
> {
> panic("Not supported on checker!");
> return NULL;
> }
>