initial lab commit, corresponding to tag v1.0.0