[checkpoint] use the function library in test4.