Added main lab8 spec implementation to main