safe_cast: initial files.