In particular the case came up recently where somebody had an unsafe pointer to an array of null terminated character pointers, but didn't know how long it is. We should be able to write:

let buflen = unsafe { position(buf) {|i| i == ptr::null() } };