% % convert from jsx filespec format % % stack: jsx-format-filespec % -1 left "/" slice "/" "\" replall ^":\" & % % stack: normal-format-filespec %