Delete random_normal_draw.adb~