// The dev harness entry point: engine/main-downlevel.zena plus the dbg() probe the scripts in scripts/debug read.
import {
  init as initImpl, inbuf as inbufImpl, push as pushImpl, outbuf as outbufImpl,
  errorCount as errorCountImpl, errorsPtr as errorsPtrImpl, pragma as pragmaImpl, dbgProbe,
} from './strip.zena';

export function init(m: i32): void {
  initImpl(m);
}

export function inbuf(cap: i32): i32 {
  return inbufImpl(cap);
}

export function push(len: i32, fin: i32): i32 {
  return pushImpl(len, fin);
}

export function outbuf(): i32 {
  return outbufImpl();
}

export function errorCount(): i32 {
  return errorCountImpl();
}

export function errorsPtr(): i32 {
  return errorsPtrImpl();
}

export function pragma(a: i32, b: i32): void {
  pragmaImpl(a, b);
}

export function dbg(i: i32): i32 {
  return dbgProbe(i);
}