Solver_types_intf.S