normal_c_(42)