Fixed some issues with NoReturn: Pointer(NoReturn).malloc and mark call as no return if any argument doesn't return