//Provides: init_coq_vm
function init_coq_vm() {
  return;
}

// EG: Coq VM's code is evil and performs static initialization... the
// best option would be to disable the VM code entirely as before.

//Provides: accumulate_code
function accumulate_code() {
  // EG: Where the hell is that called from
  return [];
}

//Provides: coq_pushpop
function coq_pushpop() {
  return [];
}

// Provides: coq_closure_arity
function coq_closure_arity() {
  return [];
}

// Provides: coq_eval_tcode
function coq_eval_tcode() {
  return [];
}

// Provides: coq_int_tcode
function coq_int_tcode() {
  return [];
}

// Provides: coq_interprete_ml
function coq_interprete_ml() {
  return [];
}

// Provides: coq_is_accumulate_code
function coq_is_accumulate_code() {
  return [];
}

// Provides: coq_kind_of_closure
function coq_kind_of_closure() {
  return [];
}

// Provides: coq_makeaccu
function coq_makeaccu() {
  return [];
}

// Provides: coq_offset
function coq_offset() {
  return [];
}

// Provides: coq_offset_closure
function coq_offset_closure() {
  return [];
}

// Provides: coq_offset_tcode
function coq_offset_tcode() {
  return [];
}

// Provides: coq_push_arguments
function coq_push_arguments() {
  return [];
}

// Provides: coq_push_ra
function coq_push_ra() {
  return [];
}

// Provides: coq_push_val
function coq_push_val() {
  return [];
}

// Provides: coq_push_vstack
function coq_push_vstack() {
  return [];
}

// Provides: coq_set_transp_value
function coq_set_transp_value() {
  return [];
}

// Provides: coq_tcode_of_code
function coq_tcode_of_code() {
  return [];
}

// Provides: get_coq_atom_tbl
function get_coq_atom_tbl() {
  // First element of the array is the length!
  return [0];
}

// Provides: get_coq_global_data
function get_coq_global_data() {
  return [];
}

// Provides: get_coq_transp_value
function get_coq_transp_value() {
  return [];
}

// Provides: realloc_coq_atom_tbl
function realloc_coq_atom_tbl() {
  return;
}

// Provides: realloc_coq_global_data
function realloc_coq_global_data() {
  return;
}
