Corpus for modify_ldt$read_default:
Coverage
Program
36
modify_ldt$read_default