definition module xpath;

//1.3
from StdString import String;
//3.1

get_home_path :: !Int -> {#Char};
// CleanString get_home_path (int);
get_appl_path :: !Int -> {#Char};
// CleanString get_appl_path (int);