A system for fast dynamic type and bounds checking in unsafe languages like C | Heykuki News