options         "SERIBUF_SIZE=16738"    # use a much larger serial input buffer
options         LEV6_DEFER              # use level6 interrupt remapper
