(module (memory 65536 0)) ;; Should report an error.