Bare procedure with empty body.
