Changed print semantics to write to labels instead of stdout.