slang: suppress warnings about unused symbols