Fix invalid syntax in platform-test/base/state.oz