server arithmetic stub file and minor corrections