a0.bitvm.x