example input and output