Also exercise swift_get_file API.