widl: Don't cast buffer pointers to long in generated server code.