int dup_safer (int);