lib LibC
  fun _resetstkoflw : Int
end