(executable (name decoder))