Stubs for input validation; test harness; example test cases.