The official Aladdin Scripting Language