843.bitvm