Branch Coverage

src/int/i31_tmont.c

Criterion	Covered	Total	%
branch	2	2	100.0

line	true	false	branch
33	86	5	for (k = (m[0] + 31) >> 5; k > 0; k --) {