trans int at sty_to_ty
graceful error