(assert (let (( 
  #x12