Compact runtime check