s/core.typed/test.check