m4.bitvm