Extract `File` and `JSON` module.