If String Current_path then 
 String <- String Current_path ''
;