Function s7_denominator 

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