1	import Base
2	
3	# Returns the raw error code for a reader resident-index budget overflow.
4	def resource_limit_error_code() -> U32:
5	  4294967289
6	
7	# Separates a configured recovery bound from malformed persisted data.
8	def is_resource_limit(code: U32) -> Bool:
9	  U32.is_eq(code, resource_limit_error_code())