Function s7_numerator 

pub unsafe extern "C" fn s7_numerator(x: s7_pointer) -> s7_int