Bili.context
Bili.context extends Expi.context with PC (Program Counter).
Expi.context
inherit Expi.context
method pc : Bil.value
method with_pc : Bil.value -> 's