s: SINGLETON -- declaration somewhere

s := (create{SINGLETON_ACCESS}).singleton -- in some routine