Corpus for modify_ldt$read_default:

Coverage	Program
19	modify_ldt$read_default