Function default_output 

pub(crate) fn default_output(program: &Path) -> PathBuf

program’s path with its extension replaced by .stl: part.program.json becomes part.stl.