1 1[.runstdin]{log 1 add{=only}for()= 1 1}forall