add src/lab/mnesia_petalab.erl