wsnopt.hpp linting