Read the JSON file 'example.json' into a table using `read_json_auto`, and manually specify that the 'age' field should be treated as an integer.
COPY (SELECT {'name': 'John', 'age': '30'}::JSON AS data) TO 'example.json';
```sql
CREATE TABLE example AS SELECT read_json_auto(data, auto_detect=true, columns=[['name', 'VARCHAR'], ['age', 'INTEGER']]) FROM read_file('example.json');
```
```sql
CREATE TABLE example AS SELECT read_json_auto(data, auto_detect=true, columns=[['age', 'INTEGER']]) FROM read_file('example.json');
```