A simple but complete FuncMP example.