(module (memory 65537 65535)) ;; Should report an error.