DEFAULT_EXEC_PREFIX
exec = (char *)alloca(sizeof DEFAULT_EXEC_PREFIX + strlen(label));
sizeof DEFAULT_EXEC_PREFIX + strlen(label));
strcpy(exec, DEFAULT_EXEC_PREFIX);
strcpy(exec + sizeof DEFAULT_EXEC_PREFIX - 1, label);