1	# The original execution envelope, with every binary constraint checked here.
2	import Base
3	import ./machine_limits.bend as Machine
4	
5	# The capacity as a word, for run-time guards that need no other limit.
6	def capacity() -> U32:
7	  1073741824
8	
9	def limits() -> Machine.Limits:
10	  Machine.Limits{65535,capacity(),2147483647,2147483648,
11	    Machine.Facts{{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==}}}