lib(atts)

   Variable attributes compatible with SICStus Prolog

