Function haybale::hook_utils::memcpy_bv

pub fn memcpy_bv<B: Backend>(
    state: &mut State<'_, B>, 
    dest: &B::BV, 
    src: &B::BV, 
    num_bytes: &B::BV
) -> Result<B::BV>

Just like memcpy() above, but takes BVs instead of Operands for its arguments.