(executable
 (name bench)
 (libraries html5rw htmlrw_check unix))