SYNOPSIS string basename( string path) FILE /kernel/simul_efun/files.h DESCRIPTION Returns the basename of a path (i.e. the stuff after the last /)