339.bitvm