don't use 64bit registers for everything
generated documentation