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