(module CCResult)