specify integer arg in await_termination