interface a_if::<T: type> {
  var ready: logic;
  var valid: logic;
  var data : T    ;

  modport master {
    ready: input ,
    valid: output,
    data : output,
  }

  modport slave {
    ..converse(master)
  }
}

proto package b_proto_pkg {
  const WIDTH: u32;
  struct b_struct {
    b: logic<WIDTH>,
  }
}

package b_pkg::<W: u32> for b_proto_pkg {
  const WIDTH: u32 = W;
  struct b_struct {
    b: logic<WIDTH>,
  }
}

interface c_if::<B_PKG: b_proto_pkg> {
  var ready: logic;
  var valid: logic;
  var data : B_PKG::b_struct;

  function connect_if(
    aif: modport a_if::<B_PKG::b_struct>::slave,
  ) {
    aif.ready = ready;
    valid     = aif.valid;
    data.b    = aif.data.b;
  }

  modport master {
    ready     : input ,
    valid     : output,
    data      : output,
    connect_if: import,
  }
}