c.b() はwitness tableを見にいくけどb()がcから取り出せず、静的DispatchでP.bになる。（あってます？） c.a() は実体はSCのインスタンスなので、SCのvTableを見にいって、SC.a()になる（あってます？） (edited)