[vm] Changed frame aux to uint32_t