This seems related, and nice: Run-Time Type Checking for Pointers and Arrays in C: http://osq.cs.berkeley.edu/retreat01/JFoster-OSQ-2001.ppt Bye, bearophile