'Pesto' as test case
NOTE: pre- and postconditions are not included above.
