Use Mycha for testing