s48_value (stub_fak) (s48_value s48_number){
    int c_number = s48_extract_integer (s48_number);
    int c_fak = fak (c_number);
    s48_value s48_fak = s48_enter_integer (c_fak);

    return s48_fak;
}
s48_value (stub_sqrt) (s48_value s48_radix, s48_value s48_number){
    double c_radix = s48_extract_double (s48_radix);
    double c_number = s48_extract_double (s48_number);
    double c_sqrt = sqrt (c_radix, c_number);
    s48_value s48_sqrt = s48_enter_double (c_sqrt);

    return s48_sqrt;
}
void (stub_init) () {

    S48_EXPORT_FUNCTION (stub_sqrt);
    S48_EXPORT_FUNCTION (stub_fak);
}