fn seed_model_bytes( cx: &mut SymCx, model: &mut HashMap<Symbol, U256>, bytes: &SymBytes, value: &[u8], ) -> bool