/**
 * A message.
 *
 * @constructor
 * 
 * @param title
 * @parma text
 */
function Message(title, body) {
    this.title = title;
    this.body = body;
}

/**
 * @modifies something
 */
function f() {}