bin_supported_targets
const char **bin_supported_targets(void);
for (list = bin_supported_targets(); *list != NULL; list++)
