[cvs-nhc98] Give a return type to C funs mkValueApp[9-15]().