Syntactically correct example