(assert ((_ extract not_an_int