format lab2 demo