readfile() not considered harmful