slrmac list10/r
if ~er;slrnkp list10/n,/v,/a:100,/j,list10,vlibs/s,z3libs/s,syslibs/s,/e;fi