Test input for reverse procedure