Re: Translating spec to dockerfile for upstream ispc