int32 return_value
uint32 sequence