1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
#pike __REAL_VERSION__ 
#pragma strict_types 
 
// Pike core things that don't belong anywhere else. 
// 
// $Id: module.pmod,v 1.10 2004/06/14 07:40:19 mirar Exp $ 
 
constant WEAK_INDICES = __builtin.PIKE_WEAK_INDICES; 
constant WEAK_VALUES = __builtin.PIKE_WEAK_VALUES; 
constant WEAK = WEAK_INDICES|WEAK_VALUES; 
//! Flags for use together with @[set_weak_flag] and @[get_weak_flag]. 
//! See @[set_weak_flag] for details. 
 
constant BacktraceFrame = __builtin.backtrace_frame; 
 
constant Backend = __builtin.Backend; 
constant DefaultBackend = __builtin.__backend; 
 
constant gc_parameters = __builtin.gc_parameters; 
 
program Codec=master()->Codec;