Another example, with output