definition module expand_8_3_names_in_path;

expand_8_3_names_in_path :: !{#Char} -> {#Char};