Proper references' bounds check
Basic loadExtendedToBase implementation