.
casinomodule aadl