Function call_input_from_memory 

pub(crate) fn call_input_from_memory(
    memory: &SymMemory,
    offset: SymWord,
    size: &BoundedCopySize,
) -> Vec<SymWord>

Implements the call_input_from_memory symbolic calldata helper.