On Apr 22, 2:19 pm, Martin Pirker <Martin.Pir... at iaik.tugraz.at> wrote: > I guess I have to sleep over this once more... :-) The one line winner is: action check_data { if (check_foo(...)) { fgoto *machine_error; } } copy'n'paste'n'replace compliant ;-) Martin