(define impc:ir:signed?
(lambda (type)
(let* ((t (impc:ir:str-list-check type)))
(if (string? t) #f
(if (>= t *impc:ir:other*) #f
(if (member (modulo t *impc:ir:pointer*)
(list *impc:ir:si64* *impc:ir:si32* *impc:ir:si16* *impc:ir:si8*))
#t #f))))))