let null_term : term =
  request_const (Symbol.create_function "__null_term__" 0)