proper dup()in