We typedef int * to Parmeters in global.h, but not at the same time as
the other typedefs. This causes problems when we add a function
declaration for write_scrap().
This also highlights a random `1` being passed as the parameter in one
call to write_scrap(). This is obviously wrong, but the purpose of this
fix is to remove warnings - not do a deep dive into what the code is
doing.
In a reverse of write_html(), write_tex() is declared with three
parameters, but only called with two.
Removing the third parameter is fine as it is unused.
write_html() is declared as taking two parameters, but the call to it
passes three.
We fix this by dropping the third parameter, which was labelled 'DUMMY'
anyway.
