Effective_procedure loading ...