export module M51;

// Import statements here.
import M53;
import M56;

export int f51() {
  return f53() + f56();
}