ltlwriter – 4 00