copyright for stdlib addition