Since Manu agreed with me that the compiler should report an
error (or at least a warning) in a void-safe system for thie code:

   weasel: INTEGER
      attribute
         Result := 47
      end

I am reopening this report.  If you change this, the tcf for eweasel
test exec296 will need to be adjusted.