[Pebbles 003] unknown option symbol question