NEW BUILT IN 000000001 dynamic 1
NEW BUILT IN 000000001 static 2
NEW BUILT IN 000000001 assert 3
NEW BUILT IN 000000001 asserta 4
NEW BUILT IN 000000001 clause 5
NEW BUILT IN 000000001 retract 6
NEW BUILT IN 000000001 setq 7
NEW BUILT IN 000000001 c_listing 8
NEW BUILT IN 000000001 print_codes 9
NEW BUILT IN 000000001 get 10
NEW BUILT IN 000000001 put 11
NEW BUILT IN 000000001 open_in 12
NEW BUILT IN 000000001 open_out 13
NEW BUILT IN 000000001 set_input 14
NEW BUILT IN 000000001 set_output 15
NEW BUILT IN 000000001 exists_file 16
NEW BUILT IN 000000001 close 17
NEW BUILT IN 000000001 simple_load 18
NEW BUILT IN 000000001 put_err 19
NEW BUILT IN 000000001 chdir 20
NEW BUILT IN 000000001 write 21
NEW BUILT IN 000000001 writeq 22
NEW BUILT IN 000000001 pretty_write 23
NEW BUILT IN 000000001 pretty_writeq 24
NEW BUILT IN 000000001 write_canonical 25
NEW BUILT IN 000000001 page_width 26
NEW BUILT IN 000000001 print_depth 27
NEW BUILT IN 000000001 put_err 28
NEW BUILT IN 000000001 parse 29
NEW BUILT IN 000000001 read 30
NEW BUILT IN 000000001 read_token 31
NEW BUILT IN 000000001 c_op 32
NEW BUILT IN 000000001 ops 33
NEW BUILT IN 000000001 write_err 34
NEW BUILT IN 000000001 writeq_err 35
NEW BUILT IN 000000001 nonvar 36
NEW BUILT IN 000000001 var 37
NEW BUILT IN 000000001 is_function 38
NEW BUILT IN 000000001 is_predicate 39
NEW BUILT IN 000000001 is_sort 40
NEW BUILT IN 000000001 disj 41
NEW BUILT IN 000000001 * 42
NEW BUILT IN 000000001 + 43
NEW BUILT IN 000000001 - 44
NEW BUILT IN 000000001 / 45
NEW BUILT IN 000000001 // 46
NEW BUILT IN 000000001 mod 47
NEW BUILT IN 000000001 /\ 48
NEW BUILT IN 000000001 \/ 49
NEW BUILT IN 000000001 \ 50
NEW BUILT IN 000000001 >> 51
NEW BUILT IN 000000001 << 52
NEW BUILT IN 000000001 floor 53
NEW BUILT IN 000000001 ceiling 54
NEW BUILT IN 000000001 exp 55
NEW BUILT IN 000000001 log 56
NEW BUILT IN 000000001 cos 57
NEW BUILT IN 000000001 sin 58
NEW BUILT IN 000000001 tan 59
NEW BUILT IN 000000001 sqrt 60
NEW BUILT IN 000000001 < 61
NEW BUILT IN 000000001 =< 62
NEW BUILT IN 000000001 > 63
NEW BUILT IN 000000001 >= 64
NEW BUILT IN 000000001 =\= 65
NEW BUILT IN 000000001 =:= 66
NEW BUILT IN 000000001 and 67
NEW BUILT IN 000000001 or 68
NEW BUILT IN 000000001 not 69
NEW BUILT IN 000000001 xor 70
NEW BUILT IN 000000001 === 71
NEW BUILT IN 000000001 \=== 72
NEW BUILT IN 000000001 features 73
NEW BUILT IN 000000001 feature_values 74
NEW BUILT IN 000000001 . 75
NEW BUILT IN 000000001 root_sort 76
NEW BUILT IN 000000001 strip 77
NEW BUILT IN 000000001 copy_pointer 78
NEW BUILT IN 000000001 has_feature 79
NEW BUILT IN 000000001 <- 80
NEW BUILT IN 000000001 <<- 81
NEW BUILT IN 000000001 {} 82
NEW BUILT IN 000000001 = 83
NEW BUILT IN 000000001 & 84
NEW BUILT IN 000000001 copy_term 85
NEW BUILT IN 000000001 :=< 86
NEW BUILT IN 000000001 :< 87
NEW BUILT IN 000000001 :>= 88
NEW BUILT IN 000000001 :> 89
NEW BUILT IN 000000001 :== 90
NEW BUILT IN 000000001 :>< 91
NEW BUILT IN 000000001 :\=< 92
NEW BUILT IN 000000001 :\< 93
NEW BUILT IN 000000001 :\>= 94
NEW BUILT IN 000000001 :\> 95
NEW BUILT IN 000000001 :\== 96
NEW BUILT IN 000000001 :\>< 97
NEW BUILT IN 000000001 is_value 98
NEW BUILT IN 000000001 is_number 99
NEW BUILT IN 000000001 is_function 100
NEW BUILT IN 000000001 is_predicate 101
NEW BUILT IN 000000001 is_sort 102
NEW BUILT IN 000000001 is_persistent 103
NEW BUILT IN 000000001 children 104
NEW BUILT IN 000000001 parents 105
NEW BUILT IN 000000001 least_sorts 106
NEW BUILT IN 000000001 subsort 107
NEW BUILT IN 000000001 glb 108
NEW BUILT IN 000000001 lub 109
NEW BUILT IN 000000001 str2psi 110
NEW BUILT IN 000000001 psi2str 111
NEW BUILT IN 000000001 int2str 112
NEW BUILT IN 000000001 asc 113
NEW BUILT IN 000000001 chr 114
NEW BUILT IN 000000001 | 115
NEW BUILT IN 000000001 cond 116
NEW BUILT IN 000000001 if 117
NEW BUILT IN 000000001 eval 118
NEW BUILT IN 000000001 evalin 119
NEW BUILT IN 000000001 print_variables 120
NEW BUILT IN 000000001 get_choice 121
NEW BUILT IN 000000001 set_choice 122
NEW BUILT IN 000000001 exists_choice 123
NEW BUILT IN 000000001 apply 124
NEW BUILT IN 000000001 bool_pred 125
NEW BUILT IN 000000001 :- 126
NEW BUILT IN 000000001 -> 127
NEW BUILT IN 000000001 <| 128
NEW BUILT IN 000000001 := 129
NEW BUILT IN 000000001 ; 130
NEW BUILT IN 000000001 ! 131
NEW BUILT IN 000000001 , 132
NEW BUILT IN 000000001 abort 133
NEW BUILT IN 000000001 halt 134
NEW BUILT IN 000000001 succeed 135
NEW BUILT IN 000000001 repeat 136
NEW BUILT IN 000000001 fail 137
NEW BUILT IN 000000001 implies 138
NEW BUILT IN 000000001 undo 139
NEW BUILT IN 000000001 delay_check 140
NEW BUILT IN 000000001 non_strict 141
NEW BUILT IN 000000001 lf_trace 142
NEW BUILT IN 000000001 step 143
NEW BUILT IN 000000001 verbose 144
NEW BUILT IN 000000001 warning 145
NEW BUILT IN 000000001 maxint 146
NEW BUILT IN 000000001 cpu_time 147
NEW BUILT IN 000000001 quiet 148
NEW BUILT IN 000000001 real_time 149
NEW BUILT IN 000000001 local_time 150
NEW BUILT IN 000000001 statistics 151
NEW BUILT IN 000000001 gc 152
NEW BUILT IN 000000001 system 153
NEW BUILT IN 000000001 getenv 154
NEW BUILT IN 000000001 encode 155
NEW BUILT IN 000000001 rlist 156
NEW BUILT IN 000000001 residuate 157
NEW BUILT IN 000000001 mresiduate 158
NEW BUILT IN 000000001 tprove 159
NEW BUILT IN 000000001 strcon 160
NEW BUILT IN 000000001 strlen 161
NEW BUILT IN 000000001 substr 162
NEW BUILT IN 000000001 append_file 163
NEW BUILT IN 000000001 random 164
NEW BUILT IN 000000001 initrandom 165
NEW BUILT IN 000000001 set_module 166
NEW BUILT IN 000000001 open_module 167
NEW BUILT IN 000000001 public 168
NEW BUILT IN 000000001 private 169
NEW BUILT IN 000000001 display_modules 170
NEW BUILT IN 000000001 trace_input 171
NEW BUILT IN 000000001 substitute 172
NEW BUILT IN 000000001 current_module 173
NEW BUILT IN 000000001 module_name 174
NEW BUILT IN 000000001 combined_name 175
NEW BUILT IN 000000001 global 176
NEW BUILT IN 000000001 persistent 177
NEW BUILT IN 000000001 display_persistent 178
NEW BUILT IN 000000001 alias 179
NEW BUILT IN 000000001 private_feature 180
NEW BUILT IN 000000001 split_double 181
NEW BUILT IN 000000001 string_address 182
NEW BUILT IN 000000001 deref_length 183
NEW BUILT IN 000000001 argv 184
NEW BUILT IN 000000001 public_symbols 185
NEW BUILT IN 000000001 make_bitvector 186
NEW BUILT IN 000000001 bitvector_and 187
NEW BUILT IN 000000001 bitvector_or 188
NEW BUILT IN 000000001 bitvector_xor 189
NEW BUILT IN 000000001 bitvector_not 190
NEW BUILT IN 000000001 bitvector_count 191
NEW BUILT IN 000000001 bitvector_get 192
NEW BUILT IN 000000001 bitvector_set 193
NEW BUILT IN 000000001 bitvector_clear 194
NEW BUILT IN 000000001 regexp_compile 195
NEW BUILT IN 000000001 regexp_execute 196
NEW BUILT IN 000000001 int2stream 197
NEW BUILT IN 000000001 fopen 198
NEW BUILT IN 000000001 fclose 199
NEW BUILT IN 000000001 get_buffer 200
NEW BUILT IN 000000001 get_record 201
NEW BUILT IN 000000001 get_code 202
NEW BUILT IN 000000001 ftell 203
NEW BUILT IN 000000001 fseek 204
NEW BUILT IN 000000001 socket 205
NEW BUILT IN 000000001 bind 206
NEW BUILT IN 000000001 connect 207
NEW BUILT IN 000000001 fwrite 208
NEW BUILT IN 000000001 fflush 209
NEW BUILT IN 000000001 listen 210
NEW BUILT IN 000000001 accept 211
NEW BUILT IN 000000001 errno 212
NEW BUILT IN 000000001 errmsg 213
NEW BUILT IN 000000001 import_symbol 214
NEW BUILT IN 000000001 fork 215
NEW BUILT IN 000000001 wait 216
NEW BUILT IN 000000001 waitpid 217
NEW BUILT IN 000000001 kill 218
NEW BUILT IN 000000001 cuserid 219
NEW BUILT IN 000000001 gethostname 220
NEW BUILT IN 000000001 lazy_project 221
NEW BUILT IN 000000001 wait_on_feature 222
NEW BUILT IN 000000001 my_wait_on_feature 223
NEW BUILT IN 000000001 apply1 224
NEW BUILT IN 000000001 getpid 225
NEW BUILT IN 000000001 stream2sys_stream 226
NEW BUILT IN 000000001 sys_stream2stream 227
NEW BUILT IN 000000001 call_once 228
