d8.bitvm.x