let disp_welcome () = pl welcome