../../Task/Variadic-function/ACL2