commit by huzl!

1. Do not search termination from terminations_, but directly use "void
*arg".