The documentation and error messages refer to the @MLton option may-page-heap. However, the actual runtime accepts 'page-heap' not may-page-heap. Which is intended?