(assert (_ extract 1 1)