idia_restricted_t needs to read the tmp_t file