while(1) {
  my $x :check = some_call();
}

##</code><code>##

 
while(1) {
  check {RULE} my $x = some_call();
}