Rastelli_procedure loading ...