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