print_esc("scriptscriptfont");
}
/* sec 1355 */
-void print_write_whatsit_(str_number s, halfword p)
+void print_write_whatsit_(str_number s, pointer p)
{
print_esc("");
print(s);
succumb();
}
/* sec 0037 */
-bool init_terminal (void)
+boolean init_terminal (void)
{
int flag;
return (str_ptr - 1);
}
/* sec 0044 */
-bool str_eq_buf_ (str_number s, integer k)
+boolean str_eq_buf_ (str_number s, integer k)
{
- register bool Result;
+ register boolean Result;
pool_pointer j;
- bool result;
+ boolean result;
j = str_start[s];
return Result;
}
/* sec 0045 */
-bool str_eq_str_ (str_number s, str_number t)
+boolean str_eq_str_ (str_number s, str_number t)
{
- register bool Result;
+ register boolean Result;
pool_pointer j, k;
- bool result;
+ boolean result;
result = false;
scaled x_over_n_(scaled x, integer n)
{
register scaled Result;
- bool negative;
+ boolean negative;
negative = false;
scaled xn_over_d_(scaled x, integer n, integer d)
{
register scaled Result;
- bool positive;
+ boolean positive;
nonnegative_integer t, u, v;
if (x >= 0)
overflow("main memory size", mem_max + 1 - mem_min); /* darn: allocation failed ! */
return 0; // abort_flag set
}
-/* avoid function call in following ? */
+
add_variable_space (block_size); /* now to be found in itex.c */
goto lab20; /* go try get_node again */
#ifdef DEBUG
/* sec 0167 */
-void check_mem_(bool printlocs)
+void check_mem_(boolean printlocs)
{
halfword p, q;
- bool clobbered;
+ boolean clobbered;
for (p = mem_min; p <= lo_mem_max; p++) freearr[p] = false;
for (p = hi_mem_min; p <= mem_end; p++) freearr[p] = false;
{
print_char('{');
- if ((p < hi_mem_min)||(p > mem_end))
+ if ((p < hi_mem_min) || (p > mem_end))
print_esc("CLOBBERED.");
else
show_token_list(link(p), 0, max_print_line - 10);
/* sec 0178 */
void print_spec_(integer p, char * s)
{
- if ((p < mem_min)||(p >= lo_mem_max))
+ if ((p < mem_min) || (p >= lo_mem_max))
print_char('*');
else
{
}
if ((small_fam(right_delimiter(p)) != 0) || (small_char(right_delimiter(p)) != 0) ||
- (large_fam(right_delimiter(p)) != 0)||(large_char(right_delimiter(p)) != 0))
+ (large_fam(right_delimiter(p)) != 0) || (large_char(right_delimiter(p)) != 0))
{
print_string(", right-delimiter ");
print_delimiter(right_delimiter(p));