I assume Liquid Types can greatly increased performance in C programs where pointer checks are littered everywhere.