//! returns: 162

.constant PAGE 4096;
.constant VALUE 0x12340000 + 0x5678;
.text;
@entry
	li     %a0    42;
	li     %a1    VALUE;
	andi   %a1    %a1    255;
	add    %a0    %a0    %a1;
	li     %a7    93;
	ecall;