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