let-aliasing initial