(module
	(table 0 funcref)
	(table 1 funcref)
	(table 0 0 funcref)
	(table 0 1 funcref)
	(table 1 256 funcref)
	(table 0 65536 funcref)
	(table 0 0xffff_ffff funcref)
)