a working version of aladdin