export module M13;

// Import statements here.
import M17;
import M15;

export int f13() {
  return f17() + f15();
}