Just thinking about it now, do we want to stabilise the abbreviated name `size_of_val` (rather than calling it `size_of_value` or some such)?