modify to jos lab4 spec