Added more optimization pragmas to module Server.