46.bitvm