Library for That's Mahjong!