a*
a* debugging