[Pebbles 005] unknown option symbol question