Signature

pub fn u256_wide_mul(a: u256, b: u256) -> u512