(module Sundials_LintArray)