profile=core-v1
fn#0:main param=0 local=0 ret=0 max=2
  HOSTCALL imm=0
  INTRINSIC imm=8192
  RET imm=-
