Added int x (Willard)