Delete random_normal_draw.ads~