Extended inner procedure generation