ma allora se ciao() è dichiarata nel namespace, perchè devo anche fare #include <libreriaconciao> ??