[LAU] Petri-Foo Segfault