Oops. Use ; not , for separating definitions.
Added code to assume initial state