在UNIX/Linux 系统中 用户程序经过编译之后得到的可执行文件属于()。