0[.runstdin]{add}forall =