typeset -F3 SECONDS doesn't work the first time

[Mikael Magnusson <mikachu@xxxxxxxxx>]

I think the code in typeset_single() near
  if (!readonly && !strcmp(pname, "SECONDS"))
is to blame, it does something magic if you're changing the type of
$SECONDS and then returns without checking any other options given to
typeset. I tried removing the return pm; and setting err=0; but that
segfaults.

-- 
Mikael Magnusson