Correct bytecode sanity check.
Fix annotations thinko.
Fix arg_flags lifetime wrt effective callsite.