A student noted that the Hoax notes make use of `'ebx` when probably `'rbx` was intended: https://github.com/cmsc430/www/blob/7cb925f28dd7639ffa3be5f1ccba59ca127a9373/www/notes/hoax.scrbl#L310