test: some tests from reading the spec