move '$display' example to examples/printf; restore examples/echo back to original