1declare * as operator (reference to constant S) returning S
2