void main() {
  $when($true) {}
}