Function symbolic_copy_size_byte 

pub(crate) fn symbolic_copy_size_byte(
    idx: usize,
    size: &Expr,
    source: SymWord,
    existing: SymWord,
) -> SymWord

Returns the symbolic_copy_size_byte symbolic memory helper result.