933.bitvm