
let get () = ()
let push_frame () = ()
let pop_frame () = ()
let salloc a r = ref r
let op_Colon_Equals r v = r := v
let op_Bang r = !r


let get () = ()
let push_frame () = ()
let pop_frame () = ()
let salloc r = ref r
let op_Colon_Equals r v = r := v
let op_Bang r = !r

Fix salloc function in HST realization
Fix salloc function in HST realization
