(* XXX precondition that this is non-empty *)
typedef string pathname