- replace `type *func()` -> `type* func()`, - rename arguments for storing results, - add several missing assertions.