lab1 part2 NS2.pml