if (node.impltype) {
    this.space();
    this.token("=");
    this.space();
    this.print(node.impltype, node);