What is pushrod tube?