Finding the Code in the Casino Jailbreak: A Case Study