interface Intf {
  in void evt();
  behaviour {
    on evt: {}
  }
}

component functionSubintReturn {
  provides Intf p;
  behaviour {
    subint int1 {0..1};
    on p.evt(): { int1 i = f(); }
    
    int1 f() {
      return 0;
    }
  }
}