pub fn load_code<F>( start_addr: u32, image: &BTreeMap<u32, u32>, step: F) -> Result<()> where F: FnMut(&[Fp], usize) -> Result<bool>,