Add 7-argument async
Disable use of uninitialized on launch_by_value's parameter