Notes on #GOTO (expr)