Remove: stdlib copy, determined to be unneeded