* Generate portion of wish script for the beginning of a submenu. * The guts get filled in with the various options. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected