step_func propagates result, Promise examples
Review feedback
Rename sample, add unreached_func
Simplify unreached_func, add example
Merged