export module Mid;
import Leaf;
export int mid() { return leaf() + 1; }