PanLinx: punch card printer