k0.bitvm.x