Corpus for modify_ldt$read_default:

Coverage	Program
459	modify_ldt$read_default
14	modify_ldt$read_default