frontend / proposal workbench: first non-trivial test case