132.bitvm