(executable
 (public_name widget_test)
 (name main)
 (libraries jj_tui lwd_stdlib nottui base stdio )
 )
