Use aladdin to test