@*Example.
@c
