Output and task spec for minccalc; not finished yet.