1	import Base
2	
3	# Host identity allocation is an IO effect, not a mathematical ECS proof.
4	def fresh() -> IO(U32):
5	  import "./world_namespace.c"
6	  import "./world_namespace.js"