pub fn construct_file(args: &[Value]) -> Result<Value, String>
new File(parts, name[, options]).
new File(parts, name[, options])