tak([34, 13, 8], 13).
