A simple, pluggable type checker for thread locality