`intp` not aligned with the other typedefs.