adjust SND for compatibility with GNAT GPL 2014 and SPARK GPL 2014