* Convenience method to call main for a define call that was put on * hold in the defQueue.
(args)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected