Rob Shearman : widl: Make write_pointer_tfs more readable.