put in forgotten void decl
Merge branch '17-mods' into 18
fix somewhat mysterious problem with fork redef
Merge branch '17-fixes' into 18
yet more tweaking of redef of fork to Rf_fork
Merge branch '17-fixes' into 18