;;; TOOL: run-interp-wasi
;;; ARGS: --trace
;; __WASI_CLOCKID_REALTIME = 0

(import "wasi_snapshot_preview1" "clock_time_get" (func $clock_time_get (param i32 i64 i32) (result i32)))
(memory (export "memory") 1)
(data (i32.const 20) "\00\00\00\00\00\00\00\00")

(func (export "_start")
  (call $clock_time_get (i32.const 0) (i64.const 0) (i32.const 20))
  drop
)
(;; STDOUT ;;;
#0.    0: V:0  | i32.const 0
#0.    8: V:1  | i64.const 0
#0.   20: V:2  | i32.const 20
#0.   28: V:3  | call_import $0
>>> running wasi function "clock_time_get":
#0.   36: V:1  | drop
#0.   40: V:0  | return
;;; STDOUT ;;)