of verification follows [...] of verification follows [...] the following
an error when compiling [...] to the following syntax