sate hlint