this sort of static verifiability is important for applications like smartcard programs though, where the runtime environment cannot afford dynamic MMU. additi

this sort of static verifiability is important for applications like smartcard programs though, where the runtime environment cannot afford dynamic MMU. additionally, this lets you inline verifiable code into your protection domain instead of forcing it into its own module somewhere else.