How can I fix this error?

spin: model.pml:$14,$ Error: syntax error saw 'data typename' near 'int'

spin: model.pml:$25,$ Error: syntax error saw 'data typename' near 'int'

spin: model.pml:$9,$ Error: proctype thread not found

Problem

Two global int variables, x and y$,$ are initialized to $10$ and $0.$

Two threads execute the following statements $($in mixed syntax$)$:

Thread $1$: while $($x $!=$ y$)\{$ x $=$ x $-1$; y $=$ y $+1$; $\}$

Thread $2$: await $($x $==$ y$)$; atomic $\{$ x $=8$; y $=2$; $\}$

Like in Promela, each assignment is an atomic action. Write a Promela model that captures the behavior of this system and

$1.$ Use Spin to check if both threads always terminate, and to show what the final values of x and y can be$.$

$2.$ Explain what happens if the two assignments in Thread $2$ are not done atomically, and confirm your explanation using Spin.

Note: There may $($or may not$)$ be two or more final values.