vtypedef int_type = int