(module
  (table 25000 funcref)
)