Cleanup example codes.
Fix parameters and behavior of extrospection opcodes.