static Runnable if0ToRunnable(IF0 f) {
  ret f == null ?: () -> f!;
}