int zzub_input_size ( zzub_input_t input  )