An example input