export declare class KernelStack {
    pointer: number;
    state_stack: Uint32Array;
    meta_stack: Uint32Array;
    constructor();
    reset(state: number): void;
    push_state(kernel_state: number): void;
    swap_state(kernel_state: number): void;
    pop_state(): number;
    read_state(): number;
    copy_state_stack(dest: KernelStack): void;
}