1  program empty_arrays.alpha;
 2  
 3  closure foo:
 4      input r0 as u32;
 5      assert.eq true true;
 6  
 7  function main:
 8      call foo 0u32;
 9      output 0u32 as u32.private;
10      output 0u64 as u64.private;