appendDotStar's loopback_symbols are in its own alphabet, so no need to pass prefix_a any more

also some args turned to references