goto recipe (with the bug)
fix bugs in goto recipe, improve diagnostics