partial_write_emptyset.ll 759 Bytes