k1.bitvm