Sample code for demonstrating executable documentation techniques