$ lola --check=none phils10.lola
lola: reading net from phils10.lola
...
lola: checking nothing (--check=none)
