824.bitvm