pub trait VirtualMachine {
// Required methods
fn get_functions(&self) -> FnvHashMap<u32, FunctionSafety>;
fn mark_function_as_unsafe(&mut self, addr: u32);
// Provided method
fn mark_all_unsafe_functions(&mut self, edges: FnvHashSet<(u32, u32)>) { ... }
}