pub(crate) fn process_function_body( func_body: &str, unknown_reads: u64, unknown_writes: u64, ) -> String