// Import everything from the environment
import * as host from "./cheri.js"


function run()
{
	host.print('This should crash')
	// Make sure that this really is invalid
	host.set_address(0,0);
	host.load_int(0,0);
}

// FFI exports.  Each function that we export needs to be assigned a unique
// number that can be used to look it up.
vmExport(1234, run);