1  program test.alpha;
2  
3  function matches:
4      input r0 as address.private;
5      is.eq self.caller r0 into r1;
6      output r1 as boolean.private;