pub fn collect_function_hint( _instr: &<PIC17 as Arch>::Instruction, _address: <PIC17 as Arch>::Address, _effect: &Effect<<PIC17 as Arch>::Address>, _ctxs: &MergedContextTable) -> Vec<(<PIC17 as Arch>::Address, StateUpdate)>