symbols[]:

global scope global
  global scope implicit__numeric_functions
    uint32[][] kill ( uint32[][] )
  type int8 = int8
  type uint8 = uint8
  type int16 = int16
  type uint16 = uint16
  type int32 = int32
  type uint32 = uint32
  type int64 = int64
  type uint64 = uint64
  type float64 = float64
    float64 mant ( float64 ) = opcode mant
    int32 exp ( float64 ) = opcode frexp
  type float32 = float32
    float32 mant ( float32 ) = opcode mant
    int32 exp ( float32 ) = opcode frexp
  type float128 = float128
    float128 mant ( float128 ) = opcode mant
    int32 exp ( float128 ) = opcode frexp
  type offs = int64
  type addr = uint64
  type void = void
  type byte = int8
  type ubyte = uint8
  type short = int16
  type ushort = uint16
  type long = int64
  type ulong = uint64
  type int = int32
  type uint = uint32
  type utf8char = enum uint8
  type ucs1char = enum uint8
  type ucs2char = enum uint16
  type ucs4char = enum uint32
  type utf8str = utf8char[]
    utf8str spacestr ( uint32 ) = opcode spacestr
    utf8str spacestr ( uint32, utf8char ) = opcode spacestr
    utf8str charstr ( uint32 ) = opcode charstr
    ucs4char hexchar ( uint32 )
    utf8str hexstr ( uint8 ) = opcode hexstr
    utf8str hexstr ( uint16 ) = opcode hexstr
    utf8str hexstr ( uint32 ) = opcode hexstr
    utf8str hexstr ( uint64 ) = opcode hexstr
    utf8str hexstr ( uint32, uint32 digits ) = opcode hexstr
    utf8str hexstr ( uint64, uint32 digits ) = opcode hexstr
    utf8str binstr ( uint8 ) = opcode binstr
    utf8str binstr ( uint16 ) = opcode binstr
    utf8str binstr ( uint32 ) = opcode binstr
    utf8str binstr ( uint64 ) = opcode binstr
    utf8str binstr ( uint32, uint32 digits ) = opcode binstr
    utf8str binstr ( uint64, uint32 digits ) = opcode binstr
    utf8str binstr ( uint32, utf8str¢ o, utf8str¢ l ) = opcode binstr
    utf8str binstr ( uint64, utf8str¢ o, utf8str¢ l ) = opcode binstr
    utf8str numstr ( int32 ) = opcode numstr
    utf8str numstr ( uint32 ) = opcode numstr
    utf8str numstr ( int64 ) = opcode numstr
    utf8str numstr ( uint64 ) = opcode numstr
    utf8str toupper ( utf8str¢ ) = opcode toupper
    utf8str tolower ( utf8str¢ ) = opcode tolower
    utf8str escape ( utf8str¢, ucs4char leftquote ) = opcode escape
    utf8str unescape ( utf8str¢ ) = opcode unescape
    utf8str urlencode ( utf8str¢ ) = opcode urlencode
    utf8str urldecode ( utf8str¢ ) = opcode urldecode
    utf8str entab ( utf8str¢, uint32 tabwidth ) = opcode entab
    utf8str detab ( utf8str¢, uint32 tabwidth ) = opcode detab
    utf8str toupper ( utf8char[to] ) = opcode toupper
    utf8str tolower ( utf8char[to] ) = opcode tolower
    utf8str escape ( utf8char[to], ucs4char leftquote ) = opcode escape
    utf8str unescape ( utf8char[to] ) = opcode unescape
    utf8str urlencode ( utf8char[to] ) = opcode urlencode
    utf8str urldecode ( utf8char[to] ) = opcode urldecode
    utf8str entab ( utf8char[to], uint32 tabwidth ) = opcode entab
    utf8str detab ( utf8char[to], uint32 tabwidth ) = opcode detab
    ucs1str toucs1 ( utf8str¢ ) = opcode toucs1
    ucs2str toucs2 ( utf8str¢ ) = opcode toucs2
    ucs4str toucs4 ( utf8str¢ ) = opcode toucs4
    utf8str toutf8 ( utf8str¢ ) = opcode toutf8
    ucs1str toucs1 ( utf8char[to] ) = opcode toucs1
    ucs2str toucs2 ( utf8char[to] ) = opcode toucs2
    ucs4str toucs4 ( utf8char[to] ) = opcode toucs4
    utf8str toutf8 ( utf8char[to] ) = opcode toutf8
    utf8str min ( utf8str, utf8str ) = opcode min
    utf8str min ( utf8str, utf8str¢ ) = opcode min
    utf8str min ( utf8str¢, utf8str ) = opcode min
    utf8str¢ min ( utf8str¢, utf8str¢ ) = opcode min
    utf8str¢ min ( utf8str[]¢ ) = opcode min
    utf8str¢ min ( utf8str[to] ) = opcode min
    utf8str max ( utf8str, utf8str ) = opcode max
    utf8str max ( utf8str, utf8str¢ ) = opcode max
    utf8str max ( utf8str¢, utf8str ) = opcode max
    utf8str¢ max ( utf8str¢, utf8str¢ ) = opcode max
    utf8str¢ max ( utf8str[]¢ ) = opcode max
    utf8str¢ max ( utf8str[to] ) = opcode max
    void flip ( utf8str[to] ) = opcode flip
    void rol ( utf8str[to] ) = opcode rol
    void ror ( utf8str[to] ) = opcode ror
    void sort ( utf8str[to] ) = opcode sort
    void rsort ( utf8str[to] ) = opcode rsort
    void shuffle ( utf8str[to] ) = opcode shuffle
    void revert ( utf8str[to] ) = opcode revert
  type ucs1str = ucs1char[]
    ucs1str spacestr ( uint32 ) = opcode spacestr
    ucs1str spacestr ( uint32, ucs1char ) = opcode spacestr
    ucs1str charstr ( uint32 ) = opcode charstr
    ucs1char hexchar ( uint32 )
    ucs1str hexstr ( uint8 ) = opcode hexstr
    ucs1str hexstr ( uint16 ) = opcode hexstr
    ucs1str hexstr ( uint32 ) = opcode hexstr
    ucs1str hexstr ( uint64 ) = opcode hexstr
    ucs1str hexstr ( uint32, uint32 digits ) = opcode hexstr
    ucs1str hexstr ( uint64, uint32 digits ) = opcode hexstr
    ucs1str binstr ( uint8 ) = opcode binstr
    ucs1str binstr ( uint16 ) = opcode binstr
    ucs1str binstr ( uint32 ) = opcode binstr
    ucs1str binstr ( uint64 ) = opcode binstr
    ucs1str binstr ( uint32, uint32 digits ) = opcode binstr
    ucs1str binstr ( uint64, uint32 digits ) = opcode binstr
    ucs1str binstr ( uint32, ucs1str¢ o, ucs1str¢ l ) = opcode binstr
    ucs1str binstr ( uint64, ucs1str¢ o, ucs1str¢ l ) = opcode binstr
    ucs1str numstr ( int32 ) = opcode numstr
    ucs1str numstr ( uint32 ) = opcode numstr
    ucs1str numstr ( int64 ) = opcode numstr
    ucs1str numstr ( uint64 ) = opcode numstr
    ucs1str toupper ( ucs1str¢ ) = opcode toupper
    ucs1str tolower ( ucs1str¢ ) = opcode tolower
    ucs1str escape ( ucs1str¢, ucs1char leftquote ) = opcode escape
    ucs1str unescape ( ucs1str¢ ) = opcode unescape
    ucs1str urlencode ( ucs1str¢ ) = opcode urlencode
    ucs1str urldecode ( ucs1str¢ ) = opcode urldecode
    ucs1str entab ( ucs1str¢, uint32 tabwidth ) = opcode entab
    ucs1str detab ( ucs1str¢, uint32 tabwidth ) = opcode detab
    ucs1str toupper ( ucs1char[to] ) = opcode toupper
    ucs1str tolower ( ucs1char[to] ) = opcode tolower
    ucs1str escape ( ucs1char[to], ucs1char leftquote ) = opcode escape
    ucs1str unescape ( ucs1char[to] ) = opcode unescape
    ucs1str urlencode ( ucs1char[to] ) = opcode urlencode
    ucs1str urldecode ( ucs1char[to] ) = opcode urldecode
    ucs1str entab ( ucs1char[to], uint32 tabwidth ) = opcode entab
    ucs1str detab ( ucs1char[to], uint32 tabwidth ) = opcode detab
    ucs1str toucs1 ( ucs1str¢ ) = opcode toucs1
    ucs2str toucs2 ( ucs1str¢ ) = opcode toucs2
    ucs4str toucs4 ( ucs1str¢ ) = opcode toucs4
    utf8str toutf8 ( ucs1str¢ ) = opcode toutf8
    ucs1str toucs1 ( ucs1char[to] ) = opcode toucs1
    ucs2str toucs2 ( ucs1char[to] ) = opcode toucs2
    ucs4str toucs4 ( ucs1char[to] ) = opcode toucs4
    utf8str toutf8 ( ucs1char[to] ) = opcode toutf8
    ucs1str min ( ucs1str, ucs1str ) = opcode min
    ucs1str min ( ucs1str, ucs1str¢ ) = opcode min
    ucs1str min ( ucs1str¢, ucs1str ) = opcode min
    ucs1str¢ min ( ucs1str¢, ucs1str¢ ) = opcode min
    ucs1str¢ min ( ucs1str[]¢ ) = opcode min
    ucs1str¢ min ( ucs1str[to] ) = opcode min
    ucs1str max ( ucs1str, ucs1str ) = opcode max
    ucs1str max ( ucs1str, ucs1str¢ ) = opcode max
    ucs1str max ( ucs1str¢, ucs1str ) = opcode max
    ucs1str¢ max ( ucs1str¢, ucs1str¢ ) = opcode max
    ucs1str¢ max ( ucs1str[]¢ ) = opcode max
    ucs1str¢ max ( ucs1str[to] ) = opcode max
    void flip ( ucs1str[to] ) = opcode flip
    void rol ( ucs1str[to] ) = opcode rol
    void ror ( ucs1str[to] ) = opcode ror
    void sort ( ucs1str[to] ) = opcode sort
    void rsort ( ucs1str[to] ) = opcode rsort
    void shuffle ( ucs1str[to] ) = opcode shuffle
    void revert ( ucs1str[to] ) = opcode revert
  type ucs2str = ucs2char[]
    ucs2str spacestr ( uint32 ) = opcode spacestr
    ucs2str spacestr ( uint32, ucs2char ) = opcode spacestr
    ucs2str charstr ( uint32 ) = opcode charstr
    ucs2char hexchar ( uint32 )
    ucs2str hexstr ( uint8 ) = opcode hexstr
    ucs2str hexstr ( uint16 ) = opcode hexstr
    ucs2str hexstr ( uint32 ) = opcode hexstr
    ucs2str hexstr ( uint64 ) = opcode hexstr
    ucs2str hexstr ( uint32, uint32 digits ) = opcode hexstr
    ucs2str hexstr ( uint64, uint32 digits ) = opcode hexstr
    ucs2str binstr ( uint8 ) = opcode binstr
    ucs2str binstr ( uint16 ) = opcode binstr
    ucs2str binstr ( uint32 ) = opcode binstr
    ucs2str binstr ( uint64 ) = opcode binstr
    ucs2str binstr ( uint32, uint32 digits ) = opcode binstr
    ucs2str binstr ( uint64, uint32 digits ) = opcode binstr
    ucs2str binstr ( uint32, ucs2str¢ o, ucs2str¢ l ) = opcode binstr
    ucs2str binstr ( uint64, ucs2str¢ o, ucs2str¢ l ) = opcode binstr
    ucs2str numstr ( int32 ) = opcode numstr
    ucs2str numstr ( uint32 ) = opcode numstr
    ucs2str numstr ( int64 ) = opcode numstr
    ucs2str numstr ( uint64 ) = opcode numstr
    ucs2str toupper ( ucs2str¢ ) = opcode toupper
    ucs2str tolower ( ucs2str¢ ) = opcode tolower
    ucs2str escape ( ucs2str¢, ucs2char leftquote ) = opcode escape
    ucs2str unescape ( ucs2str¢ ) = opcode unescape
    ucs2str urlencode ( ucs2str¢ ) = opcode urlencode
    ucs2str urldecode ( ucs2str¢ ) = opcode urldecode
    ucs2str entab ( ucs2str¢, uint32 tabwidth ) = opcode entab
    ucs2str detab ( ucs2str¢, uint32 tabwidth ) = opcode detab
    ucs2str toupper ( ucs2char[to] ) = opcode toupper
    ucs2str tolower ( ucs2char[to] ) = opcode tolower
    ucs2str escape ( ucs2char[to], ucs2char leftquote ) = opcode escape
    ucs2str unescape ( ucs2char[to] ) = opcode unescape
    ucs2str urlencode ( ucs2char[to] ) = opcode urlencode
    ucs2str urldecode ( ucs2char[to] ) = opcode urldecode
    ucs2str entab ( ucs2char[to], uint32 tabwidth ) = opcode entab
    ucs2str detab ( ucs2char[to], uint32 tabwidth ) = opcode detab
    ucs1str toucs1 ( ucs2str¢ ) = opcode toucs1
    ucs2str toucs2 ( ucs2str¢ ) = opcode toucs2
    ucs4str toucs4 ( ucs2str¢ ) = opcode toucs4
    utf8str toutf8 ( ucs2str¢ ) = opcode toutf8
    ucs1str toucs1 ( ucs2char[to] ) = opcode toucs1
    ucs2str toucs2 ( ucs2char[to] ) = opcode toucs2
    ucs4str toucs4 ( ucs2char[to] ) = opcode toucs4
    utf8str toutf8 ( ucs2char[to] ) = opcode toutf8
    ucs2str min ( ucs2str, ucs2str ) = opcode min
    ucs2str min ( ucs2str, ucs2str¢ ) = opcode min
    ucs2str min ( ucs2str¢, ucs2str ) = opcode min
    ucs2str¢ min ( ucs2str¢, ucs2str¢ ) = opcode min
    ucs2str¢ min ( ucs2str[]¢ ) = opcode min
    ucs2str¢ min ( ucs2str[to] ) = opcode min
    ucs2str max ( ucs2str, ucs2str ) = opcode max
    ucs2str max ( ucs2str, ucs2str¢ ) = opcode max
    ucs2str max ( ucs2str¢, ucs2str ) = opcode max
    ucs2str¢ max ( ucs2str¢, ucs2str¢ ) = opcode max
    ucs2str¢ max ( ucs2str[]¢ ) = opcode max
    ucs2str¢ max ( ucs2str[to] ) = opcode max
    void flip ( ucs2str[to] ) = opcode flip
    void rol ( ucs2str[to] ) = opcode rol
    void ror ( ucs2str[to] ) = opcode ror
    void sort ( ucs2str[to] ) = opcode sort
    void rsort ( ucs2str[to] ) = opcode rsort
    void shuffle ( ucs2str[to] ) = opcode shuffle
    void revert ( ucs2str[to] ) = opcode revert
  type ucs4str = ucs4char[]
    ucs4str spacestr ( uint32 ) = opcode spacestr
    ucs4str spacestr ( uint32, ucs4char ) = opcode spacestr
    ucs4str charstr ( uint32 ) = opcode charstr
    ucs4char hexchar ( uint32 )
    ucs4str hexstr ( uint8 ) = opcode hexstr
    ucs4str hexstr ( uint16 ) = opcode hexstr
    ucs4str hexstr ( uint32 ) = opcode hexstr
    ucs4str hexstr ( uint64 ) = opcode hexstr
    ucs4str hexstr ( uint32, uint32 digits ) = opcode hexstr
    ucs4str hexstr ( uint64, uint32 digits ) = opcode hexstr
    ucs4str binstr ( uint8 ) = opcode binstr
    ucs4str binstr ( uint16 ) = opcode binstr
    ucs4str binstr ( uint32 ) = opcode binstr
    ucs4str binstr ( uint64 ) = opcode binstr
    ucs4str binstr ( uint32, uint32 digits ) = opcode binstr
    ucs4str binstr ( uint64, uint32 digits ) = opcode binstr
    ucs4str binstr ( uint32, ucs4str¢ o, ucs4str¢ l ) = opcode binstr
    ucs4str binstr ( uint64, ucs4str¢ o, ucs4str¢ l ) = opcode binstr
    ucs4str numstr ( int32 ) = opcode numstr
    ucs4str numstr ( uint32 ) = opcode numstr
    ucs4str numstr ( int64 ) = opcode numstr
    ucs4str numstr ( uint64 ) = opcode numstr
    ucs4str toupper ( ucs4str¢ ) = opcode toupper
    ucs4str tolower ( ucs4str¢ ) = opcode tolower
    ucs4str escape ( ucs4str¢, ucs4char leftquote ) = opcode escape
    ucs4str unescape ( ucs4str¢ ) = opcode unescape
    ucs4str urlencode ( ucs4str¢ ) = opcode urlencode
    ucs4str urldecode ( ucs4str¢ ) = opcode urldecode
    ucs4str entab ( ucs4str¢, uint32 tabwidth ) = opcode entab
    ucs4str detab ( ucs4str¢, uint32 tabwidth ) = opcode detab
    ucs4str toupper ( ucs4char[to] ) = opcode toupper
    ucs4str tolower ( ucs4char[to] ) = opcode tolower
    ucs4str escape ( ucs4char[to], ucs4char leftquote ) = opcode escape
    ucs4str unescape ( ucs4char[to] ) = opcode unescape
    ucs4str urlencode ( ucs4char[to] ) = opcode urlencode
    ucs4str urldecode ( ucs4char[to] ) = opcode urldecode
    ucs4str entab ( ucs4char[to], uint32 tabwidth ) = opcode entab
    ucs4str detab ( ucs4char[to], uint32 tabwidth ) = opcode detab
    ucs1str toucs1 ( ucs4str¢ ) = opcode toucs1
    ucs2str toucs2 ( ucs4str¢ ) = opcode toucs2
    ucs4str toucs4 ( ucs4str¢ ) = opcode toucs4
    utf8str toutf8 ( ucs4str¢ ) = opcode toutf8
    ucs1str toucs1 ( ucs4char[to] ) = opcode toucs1
    ucs2str toucs2 ( ucs4char[to] ) = opcode toucs2
    ucs4str toucs4 ( ucs4char[to] ) = opcode toucs4
    utf8str toutf8 ( ucs4char[to] ) = opcode toutf8
    ucs4str min ( ucs4str, ucs4str ) = opcode min
    ucs4str min ( ucs4str, ucs4str¢ ) = opcode min
    ucs4str min ( ucs4str¢, ucs4str ) = opcode min
    ucs4str¢ min ( ucs4str¢, ucs4str¢ ) = opcode min
    ucs4str¢ min ( ucs4str[]¢ ) = opcode min
    ucs4str¢ min ( ucs4str[to] ) = opcode min
    ucs4str max ( ucs4str, ucs4str ) = opcode max
    ucs4str max ( ucs4str, ucs4str¢ ) = opcode max
    ucs4str max ( ucs4str¢, ucs4str ) = opcode max
    ucs4str¢ max ( ucs4str¢, ucs4str¢ ) = opcode max
    ucs4str¢ max ( ucs4str[]¢ ) = opcode max
    ucs4str¢ max ( ucs4str[to] ) = opcode max
    void flip ( ucs4str[to] ) = opcode flip
    void rol ( ucs4str[to] ) = opcode rol
    void ror ( ucs4str[to] ) = opcode ror
    void sort ( ucs4str[to] ) = opcode sort
    void rsort ( ucs4str[to] ) = opcode rsort
    void shuffle ( ucs4str[to] ) = opcode shuffle
    void revert ( ucs4str[to] ) = opcode revert
  type char = enum uint32
  type bool = enum uint32
  type float = float64
  type str = utf8char[]
  type Thread = { tid_state1 state1, tid_state2 state2, int16 prio, int16 prio_org, Tid next1, Tid prev1, Tid next2, Tid prev2, void* blocker, float64 time, Mutex* mutexes, uint16*[] rstack, int32[] vstack, int8* context0, int8* context1, uint16* ip, uint16** rp, int32* vp, int8* gp, int32 _errno, int32 _dummy, ad kill ( Thread ) = opcode kill }
    var tid_state1 state1
    var tid_state2 state2
    var int16 prio
    var int16 prio_org
    var Tid next1
    var Tid prev1
    var Tid next2
    var Tid prev2
    var void* blocker
    var float64 time
    var Mutex* mutexes
    var uint16*[] rstack
    var int32[] vstack
    var int8* context0
    var int8* context1
    var uint16* ip
    var uint16** rp
    var int32* vp
    var int8* gp
    var int32 _errno
    var int32 _dummy
    Thread kill ( Thread ) = opcode kill
  type Mutex = { Tid waiters, uint32 count, int16 oprio, int16 _dummy, Tid owner, Mutex¢ next, Mutex¢ prev,  lock ( Mutex¢ ) = opcode lock,  unlock ( Mutex¢ ) = opcode unlock,  trylock ( Mutex¢ ) = opcode trylock,  trylock ( Mutex¢, float64 timeout ) = opcode trylock, x kill ( Mutex ) = opcode kill }
    var Tid waiters
    var uint32 count
    var int16 oprio
    var int16 _dummy
    var Tid owner
    var Mutex¢ next
    var Mutex¢ prev
    void lock ( Mutex¢ ) = opcode lock
    void unlock ( Mutex¢ ) = opcode unlock
    bool trylock ( Mutex¢ ) = opcode trylock
    bool trylock ( Mutex¢, float64 timeout ) = opcode trylock
    Mutex kill ( Mutex ) = opcode kill
  type Sema = { Tid waiters, uint32 count, int32 _dummy,  request ( Sema¢ ) = opcode request,  request ( Sema¢, uint32 n ) = opcode request,  release ( Sema¢ ) = opcode release,  release ( Sema¢, uint32 n ) = opcode release,  tryrequest ( Sema¢ ) = opcode tryrequest,  tryrequest ( Sema¢, float64 timeout ) = opcode tryrequest,  clear ( Sema¢ ) = opcode clear,  kill ( Sema ) = opcode kill }
    var Tid waiters
    var uint32 count
    var int32 _dummy
    void request ( Sema¢ ) = opcode request
    void request ( Sema¢, uint32 n ) = opcode request
    void release ( Sema¢ ) = opcode release
    void release ( Sema¢, uint32 n ) = opcode release
    bool tryrequest ( Sema¢ ) = opcode tryrequest
    bool tryrequest ( Sema¢, float64 timeout ) = opcode tryrequest
    void clear ( Sema¢ ) = opcode clear
    Sema kill ( Sema ) = opcode kill
  type Irpt = { Tid waiters, uint32 count, int32 _dummy,  wait ( Irpt¢ ) = opcode wait,  wait ( Irpt¢, float64 timeout ) = opcode wait,  trigger ( Irpt¢ ) = opcode trigger,  clear ( Irpt¢ ) = opcode clear,  kill ( Irpt ) = opcode kill }
    var Tid waiters
    var uint32 count
    var int32 _dummy
    void wait ( Irpt¢ ) = opcode wait
    void wait ( Irpt¢, float64 timeout ) = opcode wait
    void trigger ( Irpt¢ ) = opcode trigger
    void clear ( Irpt¢ ) = opcode clear
    Irpt kill ( Irpt ) = opcode kill
  type Object = { void* senders, ct kill ( Object ) = opcode kill }
    var void* senders
    Object kill ( Object ) = opcode kill
  type Stream = { int16 fd, int8 filetype, int8 streamtype, uint32 stopctls, utf8str filepath, int32 out_state, int32 in_state, Irpt out_irpt, float64 out_lastio, float64 out_timeout, int8[] out_data, int8* out_ptr, Irpt in_irpt, float64 in_lastio, float64 in_timeout, int8[] in_data, int8* in_ptr, int8[] putbackbuffer }
    var int16 fd
    var int8 filetype
    var int8 streamtype
    var uint32 stopctls
    var utf8str filepath
    var int32 out_state
    var int32 in_state
    var Irpt out_irpt
    var float64 out_lastio
    var float64 out_timeout
    var int8[] out_data
    var int8* out_ptr
    var Irpt in_irpt
    var float64 in_lastio
    var float64 in_timeout
    var int8[] in_data
    var int8* in_ptr
    var int8[] putbackbuffer
  type FileInfo = { utf8str filename, uint16 filetype, uint16 permissions, uint32 user, uint32 group, uint32 _dummy, uint64 count, float64 ctime, float64 mtime, float64 atime }
    var utf8str filename
    var uint16 filetype
    var uint16 permissions
    var uint32 user
    var uint32 group
    var uint32 _dummy
    var uint64 count
    var float64 ctime
    var float64 mtime
    var float64 atime
  type Tid = Thread¢
  const bool yes = 1
  const bool no = 0
  const uint32 ok = 0
  const float64 pi = 3.1415926535898
  const float64 ec = 2.718281828459
  type FD = enum int32
  const FD stdin = 0
  const FD stdout = 1
  const FD stderr = 2
  const FD fd_void = -1
  type s_type = enum int16
  const s_type s_none = -1
  const s_type s_unknown = 0
  const s_type s_any = 0
  const s_type s_pipe = 1
  const s_type s_tty = 2
  const s_type s_dir = 4
  const s_type s_block = 6
  const s_type s_file = 8
  const s_type s_link = 10
  const s_type s_socket = 12
  const s_type s_erased = 14
  const uint32 fnm_pathname = 2
  const uint32 fnm_nohidden = 4
  const uint32 fnm_casefold = 16
  const uint32 f_follow_symlink = 1
  const uint32 f_create_path = 2
  const uint32 s_packetized = 1
  const uint32 s_connected = 2
  const uint32 s_unreliable = 4
  const uint32 s_listening = 8
  type SocketDomainType = enum uint32
  const SocketDomainType local = 0
  const SocketDomainType inet = 16
  const SocketDomainType stream = 1
  const SocketDomainType packet = 2
  const SocketDomainType datagram = 3
  const SocketDomainType tcp = 17
  const SocketDomainType udp = 19
  bool match ( utf8str¢ string, utf8str¢ pattern, uint32 flags ) = opcode match
  utf8str fullpath ( utf8str¢ path, uint32 flags ) = opcode fullpath
  s_type nodetype ( utf8str¢ path, bool resolve_symlink ) = opcode nodetype
  FileInfo fileinfo ( utf8str¢ path, bool resolve_symlink ) = opcode fileinfo
  void renamefile ( utf8str¢ path, utf8str¢ newpath, bool replace ) = opcode renamefile
  void swapfiles ( utf8str¢ path, utf8str¢ path2 ) = opcode swapfiles
  utf8str tempfile ( utf8str¢ renamable_to_path ) = opcode tempfile
  FD tempfile () = opcode tempfile
  utf8str readfile ( utf8str¢ path ) = opcode readfile
  utf8str readlink ( utf8str¢ path ) = opcode readlink
  FileInfo[] readdir ( utf8str¢ path ) = opcode readdir
  void createfile ( utf8str¢ path, uint8[]¢ data, uint32 how, uint32 mode ) = opcode createfile
  void createfile ( utf8str¢ path, utf8str¢ data, uint32 how, uint32 mode ) = opcode createfile
  void createlink ( utf8str¢ path, utf8str¢ data ) = opcode createlink
  void createdir ( utf8str¢ path, uint32 mode ) = opcode createdir
  void createpipe ( utf8str¢ path, uint32 mode ) = opcode createpipe
  void rmvfile ( utf8str¢ path ) = opcode rmvfile
  void rmvlink ( utf8str¢ path ) = opcode rmvlink
  void rmvdir ( utf8str¢ path, bool fulltree ) = opcode rmvdir
  FD socket ( SocketDomainType, utf8str¢ myaddress ) = opcode socket
  void connect ( FD, utf8str¢ peeraddress ) = opcode connect
  FD accept ( FD ) = opcode accept
  FD open ( utf8str¢, uint32 how, uint32 mode ) = opcode open
  FD open ( utf8str¢, uint32 how ) = opcode open
  void close ( FD ) = opcode close
  int64 fpos ( FD ) = opcode fpos
  int64 flen ( FD ) = opcode flen
  void seek ( FD, uint64 ) = opcode fseek
  void truncate ( FD ) = opcode truncate
  utf8str errorstr ( int32 error ) = opcode errorstr
  utf8str errorstr () = opcode errorstr
  void print ( utf8str ) = opcode print
  void print ( utf8str¢ ) = opcode print
  void print ( int32 ) = opcode print
  void print ( uint32 ) = opcode print
  void print ( int64 ) = opcode print
  void print ( uint64 ) = opcode print
  void putchar ( utf8char ) = opcode putbyte
  void putchar ( ucs1char ) = opcode putchar
  void putchar ( ucs2char ) = opcode putchar
  void putchar ( ucs4char ) = opcode putchar
  ucs4char getchar () = opcode getchar
  void write ( FD, int8 ) = opcode write
  void write ( FD, int16 ) = opcode write
  void write ( FD, int32 ) = opcode write
  void write ( FD, int64 ) = opcode write
  void write ( FD, uint8 ) = opcode write
  void write ( FD, uint16 ) = opcode write
  void write ( FD, uint32 ) = opcode write
  void write ( FD, uint64 ) = opcode write
  void write ( FD, utf8str¢ ) = opcode write
  void write ( FD, utf8str ) = opcode write
  int8 read ( FD ) = opcode read
  int16 read ( FD ) = opcode read
  int32 read ( FD ) = opcode read
  int64 read ( FD ) = opcode read
  uint8 read ( FD ) = opcode read
  uint16 read ( FD ) = opcode read
  uint32 read ( FD ) = opcode read
  uint64 read ( FD ) = opcode read
  utf8str read ( FD ) = opcode read
  void read ( FD, utf8str¢ ) = opcode read
  void read ( FD, utf8str¢, uint32 ) = opcode read
  bool isfile ( utf8str¢ path )
  bool isdir ( utf8str¢ path )
  bool islink ( utf8str¢ path )
  FileInfo fileinfo ( utf8str¢ path )
  void createfile ( utf8str¢ path, uint8[]¢ data, uint32 how )
  void createfile ( utf8str¢ path, uint8[]¢ data )
  void createdir ( utf8str¢ path )
  void createpipe ( utf8str¢ path )
  float32 round ( float32 ) = opcode round
  float32 floor ( float32 ) = opcode floor
  float32 ceil ( float32 ) = opcode ceil
  float32 integ ( float32 ) = opcode integ
  float32 fract ( float32 ) = opcode fract
  int32 sign ( float32 ) = opcode sign
  float32 abs ( float32 ) = opcode abs
  float32 min ( float32, float32 ) = opcode min
  float32 max ( float32, float32 ) = opcode max
  float32 min ( float32, float32, float32 ) = opcode min
  float32 max ( float32, float32, float32 ) = opcode max
  float32 random () = opcode random
  float32 random ( float32 ) = opcode random
  float32 sin ( float32 ) = opcode sin
  float32 cos ( float32 ) = opcode cos
  float32 tan ( float32 ) = opcode tan
  float32 asin ( float32 ) = opcode asin
  float32 acos ( float32 ) = opcode acos
  float32 atan ( float32 ) = opcode atan
  float32 sinh ( float32 ) = opcode sinh
  float32 cosh ( float32 ) = opcode cosh
  float32 tanh ( float32 ) = opcode tanh
  float32 exp10 ( float32 ) = opcode exp10
  float32 log10 ( float32 ) = opcode log10
  float32 exp2 ( float32 ) = opcode exp2
  float32 log2 ( float32 ) = opcode log2
  float32 expe ( float32 ) = opcode expe
  float32 loge ( float32 ) = opcode loge
  float32 exp ( float32, float32 ) = opcode exp
  float32 log ( float32, float32 ) = opcode log
  float32 pow ( float32, int32 ) = opcode pow
  float32 sqrt ( float32 ) = opcode sqrt
  utf8str numstr ( float32 ) = opcode numstr
  float32 numval ( utf8str¢ ) = opcode numval
  float32 min ( float32[]¢ ) = opcode min
  float32 min ( float32[to] ) = opcode min
  float32 max ( float32[]¢ ) = opcode max
  float32 max ( float32[to] ) = opcode max
  void print ( float32 ) = opcode print
  void write ( FD, float32 ) = opcode write
  float32 read ( FD ) = opcode read
  float64 round ( float64 ) = opcode round
  float64 floor ( float64 ) = opcode floor
  float64 ceil ( float64 ) = opcode ceil
  float64 integ ( float64 ) = opcode integ
  float64 fract ( float64 ) = opcode fract
  int32 sign ( float64 ) = opcode sign
  float64 abs ( float64 ) = opcode abs
  float64 min ( float64, float64 ) = opcode min
  float64 max ( float64, float64 ) = opcode max
  float64 min ( float64, float64, float64 ) = opcode min
  float64 max ( float64, float64, float64 ) = opcode max
  float64 random () = opcode random
  float64 random ( float64 ) = opcode random
  float64 sin ( float64 ) = opcode sin
  float64 cos ( float64 ) = opcode cos
  float64 tan ( float64 ) = opcode tan
  float64 asin ( float64 ) = opcode asin
  float64 acos ( float64 ) = opcode acos
  float64 atan ( float64 ) = opcode atan
  float64 sinh ( float64 ) = opcode sinh
  float64 cosh ( float64 ) = opcode cosh
  float64 tanh ( float64 ) = opcode tanh
  float64 exp10 ( float64 ) = opcode exp10
  float64 log10 ( float64 ) = opcode log10
  float64 exp2 ( float64 ) = opcode exp2
  float64 log2 ( float64 ) = opcode log2
  float64 expe ( float64 ) = opcode expe
  float64 loge ( float64 ) = opcode loge
  float64 exp ( float64, float64 ) = opcode exp
  float64 log ( float64, float64 ) = opcode log
  float64 pow ( float64, int32 ) = opcode pow
  float64 sqrt ( float64 ) = opcode sqrt
  utf8str numstr ( float64 ) = opcode numstr
  float64 numval ( utf8str¢ ) = opcode numval
  float64 min ( float64[]¢ ) = opcode min
  float64 min ( float64[to] ) = opcode min
  float64 max ( float64[]¢ ) = opcode max
  float64 max ( float64[to] ) = opcode max
  void print ( float64 ) = opcode print
  void write ( FD, float64 ) = opcode write
  float64 read ( FD ) = opcode read
  float128 round ( float128 ) = opcode round
  float128 floor ( float128 ) = opcode floor
  float128 ceil ( float128 ) = opcode ceil
  float128 integ ( float128 ) = opcode integ
  float128 fract ( float128 ) = opcode fract
  int32 sign ( float128 ) = opcode sign
  float128 abs ( float128 ) = opcode abs
  float128 min ( float128, float128 ) = opcode min
  float128 max ( float128, float128 ) = opcode max
  float128 min ( float128, float128, float128 ) = opcode min
  float128 max ( float128, float128, float128 ) = opcode max
  float128 random () = opcode random
  float128 random ( float128 ) = opcode random
  float128 sin ( float128 ) = opcode sin
  float128 cos ( float128 ) = opcode cos
  float128 tan ( float128 ) = opcode tan
  float128 asin ( float128 ) = opcode asin
  float128 acos ( float128 ) = opcode acos
  float128 atan ( float128 ) = opcode atan
  float128 sinh ( float128 ) = opcode sinh
  float128 cosh ( float128 ) = opcode cosh
  float128 tanh ( float128 ) = opcode tanh
  float128 exp10 ( float128 ) = opcode exp10
  float128 log10 ( float128 ) = opcode log10
  float128 exp2 ( float128 ) = opcode exp2
  float128 log2 ( float128 ) = opcode log2
  float128 expe ( float128 ) = opcode expe
  float128 loge ( float128 ) = opcode loge
  float128 exp ( float128, float128 ) = opcode exp
  float128 log ( float128, float128 ) = opcode log
  float128 pow ( float128, int32 ) = opcode pow
  float128 sqrt ( float128 ) = opcode sqrt
  utf8str numstr ( float128 ) = opcode numstr
  float128 numval ( utf8str¢ ) = opcode numval
  float128 min ( float128[]¢ ) = opcode min
  float128 min ( float128[to] ) = opcode min
  float128 max ( float128[]¢ ) = opcode max
  float128 max ( float128[to] ) = opcode max
  void print ( float128 ) = opcode print
  void write ( FD, float128 ) = opcode write
  float128 read ( FD ) = opcode read
  int32 sign ( int8 ) = opcode sign
  int32 sign ( int16 ) = opcode sign
  int32 sign ( int32 ) = opcode sign
  int32 sign ( int64 ) = opcode sign
  uint8 abs ( int8 ) = opcode abs
  uint16 abs ( int16 ) = opcode abs
  uint32 abs ( int32 ) = opcode abs
  uint64 abs ( int64 ) = opcode abs
  int16 swap ( int16 ) = opcode swap
  uint16 swap ( uint16 ) = opcode swap
  int32 swap ( int32 ) = opcode swap
  uint32 swap ( uint32 ) = opcode swap
  int64 swap ( int64 ) = opcode swap
  uint64 swap ( uint64 ) = opcode swap
  int16 hilo ( int16 ) = opcode hilo
  uint16 hilo ( uint16 ) = opcode hilo
  int32 hilo ( int32 ) = opcode hilo
  uint32 hilo ( uint32 ) = opcode hilo
  int64 hilo ( int64 ) = opcode hilo
  uint64 hilo ( uint64 ) = opcode hilo
  int16 lohi ( int16 ) = opcode lohi
  uint16 lohi ( uint16 ) = opcode lohi
  int32 lohi ( int32 ) = opcode lohi
  uint32 lohi ( uint32 ) = opcode lohi
  int64 lohi ( int64 ) = opcode lohi
  uint64 lohi ( uint64 ) = opcode lohi
  uint8 flip ( uint8 ) = opcode flip
  uint16 flip ( uint16 ) = opcode flip
  uint32 flip ( uint32 ) = opcode flip
  uint64 flip ( uint64 ) = opcode flip
  int32 pow ( int32, int32 ) = opcode pow
  uint32 pow ( uint32, int32 ) = opcode pow
  int64 pow ( int64, int32 ) = opcode pow
  uint64 pow ( uint64, int32 ) = opcode pow
  uint32 random ( uint32 ) = opcode random
  uint64 random ( uint64 ) = opcode random
  void flip ( int8[to] ) = opcode flip
  void rol ( int8[to] ) = opcode rol
  void ror ( int8[to] ) = opcode ror
  void sort ( int8[to] ) = opcode sort
  void rsort ( int8[to] ) = opcode rsort
  void shuffle ( int8[to] ) = opcode shuffle
  void revert ( int8[to] ) = opcode revert
  int8[] join ( int8[][]¢, int8 ) = opcode join
  int8[] join ( int8[][]¢, int8[]¢ ) = opcode join
  int8[][] split ( int8[]¢, int8 ) = opcode split
  int8[][] split ( int8[]¢, int8[]¢ ) = opcode split
  int8 min ( int8, int8 ) = opcode min
  int8 min ( int8[to] ) = opcode min
  int8 max ( int8, int8 ) = opcode max
  int8 max ( int8[to] ) = opcode max
  uint32 find ( int8[to], int8 ) = opcode find
  uint32 find ( int8[to], int8[]¢ ) = opcode find
  uint32 rfind ( int8[to], int8 ) = opcode rfind
  uint32 rfind ( int8[to], int8[]¢ ) = opcode rfind
  void shrinktofit ( int8[]& ) = opcode shrinktofit
  int8[to] substr ( int8[]¢, uint32 a, uint32 e ) = opcode substr
  int8[to] midstr ( int8[]¢, uint32 i, uint32 n ) = opcode midstr
  int8[to] leftstr ( int8[]¢, uint32 n ) = opcode leftstr
  int8[to] rightstr ( int8[]¢, uint32 n ) = opcode rightstr
  int8 numval ( utf8str¢ ) = opcode numval
  int8 numval ( ucs1str¢ ) = opcode numval
  int8 numval ( ucs2str¢ ) = opcode numval
  int8 numval ( ucs4str¢ ) = opcode numval
  void flip ( uint8[to] ) = opcode flip
  void rol ( uint8[to] ) = opcode rol
  void ror ( uint8[to] ) = opcode ror
  void sort ( uint8[to] ) = opcode sort
  void rsort ( uint8[to] ) = opcode rsort
  void shuffle ( uint8[to] ) = opcode shuffle
  void revert ( uint8[to] ) = opcode revert
  uint8[] join ( uint8[][]¢, uint8 ) = opcode join
  uint8[] join ( uint8[][]¢, uint8[]¢ ) = opcode join
  uint8[][] split ( uint8[]¢, uint8 ) = opcode split
  uint8[][] split ( uint8[]¢, uint8[]¢ ) = opcode split
  uint8 min ( uint8, uint8 ) = opcode min
  uint8 min ( uint8[to] ) = opcode min
  uint8 max ( uint8, uint8 ) = opcode max
  uint8 max ( uint8[to] ) = opcode max
  uint32 find ( uint8[to], uint8 ) = opcode find
  uint32 find ( uint8[to], uint8[]¢ ) = opcode find
  uint32 rfind ( uint8[to], uint8 ) = opcode rfind
  uint32 rfind ( uint8[to], uint8[]¢ ) = opcode rfind
  void shrinktofit ( uint8[]& ) = opcode shrinktofit
  uint8[to] substr ( uint8[]¢, uint32 a, uint32 e ) = opcode substr
  uint8[to] midstr ( uint8[]¢, uint32 i, uint32 n ) = opcode midstr
  uint8[to] leftstr ( uint8[]¢, uint32 n ) = opcode leftstr
  uint8[to] rightstr ( uint8[]¢, uint32 n ) = opcode rightstr
  uint8 numval ( utf8str¢ ) = opcode numval
  uint8 numval ( ucs1str¢ ) = opcode numval
  uint8 numval ( ucs2str¢ ) = opcode numval
  uint8 numval ( ucs4str¢ ) = opcode numval
  void flip ( int16[to] ) = opcode flip
  void rol ( int16[to] ) = opcode rol
  void ror ( int16[to] ) = opcode ror
  void sort ( int16[to] ) = opcode sort
  void rsort ( int16[to] ) = opcode rsort
  void shuffle ( int16[to] ) = opcode shuffle
  void revert ( int16[to] ) = opcode revert
  int16[] join ( int16[][]¢, int16 ) = opcode join
  int16[] join ( int16[][]¢, int16[]¢ ) = opcode join
  int16[][] split ( int16[]¢, int16 ) = opcode split
  int16[][] split ( int16[]¢, int16[]¢ ) = opcode split
  int16 min ( int16, int16 ) = opcode min
  int16 min ( int16[to] ) = opcode min
  int16 max ( int16, int16 ) = opcode max
  int16 max ( int16[to] ) = opcode max
  uint32 find ( int16[to], int16 ) = opcode find
  uint32 find ( int16[to], int16[]¢ ) = opcode find
  uint32 rfind ( int16[to], int16 ) = opcode rfind
  uint32 rfind ( int16[to], int16[]¢ ) = opcode rfind
  void shrinktofit ( int16[]& ) = opcode shrinktofit
  int16[to] substr ( int16[]¢, uint32 a, uint32 e ) = opcode substr
  int16[to] midstr ( int16[]¢, uint32 i, uint32 n ) = opcode midstr
  int16[to] leftstr ( int16[]¢, uint32 n ) = opcode leftstr
  int16[to] rightstr ( int16[]¢, uint32 n ) = opcode rightstr
  int16 numval ( utf8str¢ ) = opcode numval
  int16 numval ( ucs1str¢ ) = opcode numval
  int16 numval ( ucs2str¢ ) = opcode numval
  int16 numval ( ucs4str¢ ) = opcode numval
  void flip ( uint16[to] ) = opcode flip
  void rol ( uint16[to] ) = opcode rol
  void ror ( uint16[to] ) = opcode ror
  void sort ( uint16[to] ) = opcode sort
  void rsort ( uint16[to] ) = opcode rsort
  void shuffle ( uint16[to] ) = opcode shuffle
  void revert ( uint16[to] ) = opcode revert
  uint16[] join ( uint16[][]¢, uint16 ) = opcode join
  uint16[] join ( uint16[][]¢, uint16[]¢ ) = opcode join
  uint16[][] split ( uint16[]¢, uint16 ) = opcode split
  uint16[][] split ( uint16[]¢, uint16[]¢ ) = opcode split
  uint16 min ( uint16, uint16 ) = opcode min
  uint16 min ( uint16[to] ) = opcode min
  uint16 max ( uint16, uint16 ) = opcode max
  uint16 max ( uint16[to] ) = opcode max
  uint32 find ( uint16[to], uint16 ) = opcode find
  uint32 find ( uint16[to], uint16[]¢ ) = opcode find
  uint32 rfind ( uint16[to], uint16 ) = opcode rfind
  uint32 rfind ( uint16[to], uint16[]¢ ) = opcode rfind
  void shrinktofit ( uint16[]& ) = opcode shrinktofit
  uint16[to] substr ( uint16[]¢, uint32 a, uint32 e ) = opcode substr
  uint16[to] midstr ( uint16[]¢, uint32 i, uint32 n ) = opcode midstr
  uint16[to] leftstr ( uint16[]¢, uint32 n ) = opcode leftstr
  uint16[to] rightstr ( uint16[]¢, uint32 n ) = opcode rightstr
  uint16 numval ( utf8str¢ ) = opcode numval
  uint16 numval ( ucs1str¢ ) = opcode numval
  uint16 numval ( ucs2str¢ ) = opcode numval
  uint16 numval ( ucs4str¢ ) = opcode numval
  void flip ( int32[to] ) = opcode flip
  void rol ( int32[to] ) = opcode rol
  void ror ( int32[to] ) = opcode ror
  void sort ( int32[to] ) = opcode sort
  void rsort ( int32[to] ) = opcode rsort
  void shuffle ( int32[to] ) = opcode shuffle
  void revert ( int32[to] ) = opcode revert
  int32[] join ( int32[][]¢, int32 ) = opcode join
  int32[] join ( int32[][]¢, int32[]¢ ) = opcode join
  int32[][] split ( int32[]¢, int32 ) = opcode split
  int32[][] split ( int32[]¢, int32[]¢ ) = opcode split
  int32 min ( int32, int32 ) = opcode min
  int32 min ( int32[to] ) = opcode min
  int32 max ( int32, int32 ) = opcode max
  int32 max ( int32[to] ) = opcode max
  uint32 find ( int32[to], int32 ) = opcode find
  uint32 find ( int32[to], int32[]¢ ) = opcode find
  uint32 rfind ( int32[to], int32 ) = opcode rfind
  uint32 rfind ( int32[to], int32[]¢ ) = opcode rfind
  void shrinktofit ( int32[]& ) = opcode shrinktofit
  int32[to] substr ( int32[]¢, uint32 a, uint32 e ) = opcode substr
  int32[to] midstr ( int32[]¢, uint32 i, uint32 n ) = opcode midstr
  int32[to] leftstr ( int32[]¢, uint32 n ) = opcode leftstr
  int32[to] rightstr ( int32[]¢, uint32 n ) = opcode rightstr
  int32 numval ( utf8str¢ ) = opcode numval
  int32 numval ( ucs1str¢ ) = opcode numval
  int32 numval ( ucs2str¢ ) = opcode numval
  int32 numval ( ucs4str¢ ) = opcode numval
  void flip ( uint32[to] ) = opcode flip
  void rol ( uint32[to] ) = opcode rol
  void ror ( uint32[to] ) = opcode ror
  void sort ( uint32[to] ) = opcode sort
  void rsort ( uint32[to] ) = opcode rsort
  void shuffle ( uint32[to] ) = opcode shuffle
  void revert ( uint32[to] ) = opcode revert
  uint32[] join ( uint32[][]¢, uint32 ) = opcode join
  uint32[] join ( uint32[][]¢, uint32[]¢ ) = opcode join
  uint32[][] split ( uint32[]¢, uint32 ) = opcode split
  uint32[][] split ( uint32[]¢, uint32[]¢ ) = opcode split
  uint32 min ( uint32, uint32 ) = opcode min
  uint32 min ( uint32[to] ) = opcode min
  uint32 max ( uint32, uint32 ) = opcode max
  uint32 max ( uint32[to] ) = opcode max
  uint32 find ( uint32[to], uint32 ) = opcode find
  uint32 find ( uint32[to], uint32[]¢ ) = opcode find
  uint32 rfind ( uint32[to], uint32 ) = opcode rfind
  uint32 rfind ( uint32[to], uint32[]¢ ) = opcode rfind
  void shrinktofit ( uint32[]& ) = opcode shrinktofit
  uint32[to] substr ( uint32[]¢, uint32 a, uint32 e ) = opcode substr
  uint32[to] midstr ( uint32[]¢, uint32 i, uint32 n ) = opcode midstr
  uint32[to] leftstr ( uint32[]¢, uint32 n ) = opcode leftstr
  uint32[to] rightstr ( uint32[]¢, uint32 n ) = opcode rightstr
  uint32 numval ( utf8str¢ ) = opcode numval
  uint32 numval ( ucs1str¢ ) = opcode numval
  uint32 numval ( ucs2str¢ ) = opcode numval
  uint32 numval ( ucs4str¢ ) = opcode numval
  void flip ( int64[to] ) = opcode flip
  void rol ( int64[to] ) = opcode rol
  void ror ( int64[to] ) = opcode ror
  void sort ( int64[to] ) = opcode sort
  void rsort ( int64[to] ) = opcode rsort
  void shuffle ( int64[to] ) = opcode shuffle
  void revert ( int64[to] ) = opcode revert
  int64[] join ( int64[][]¢, int64 ) = opcode join
  int64[] join ( int64[][]¢, int64[]¢ ) = opcode join
  int64[][] split ( int64[]¢, int64 ) = opcode split
  int64[][] split ( int64[]¢, int64[]¢ ) = opcode split
  int64 min ( int64, int64 ) = opcode min
  int64 min ( int64[to] ) = opcode min
  int64 max ( int64, int64 ) = opcode max
  int64 max ( int64[to] ) = opcode max
  uint32 find ( int64[to], int64 ) = opcode find
  uint32 find ( int64[to], int64[]¢ ) = opcode find
  uint32 rfind ( int64[to], int64 ) = opcode rfind
  uint32 rfind ( int64[to], int64[]¢ ) = opcode rfind
  void shrinktofit ( int64[]& ) = opcode shrinktofit
  int64[to] substr ( int64[]¢, uint32 a, uint32 e ) = opcode substr
  int64[to] midstr ( int64[]¢, uint32 i, uint32 n ) = opcode midstr
  int64[to] leftstr ( int64[]¢, uint32 n ) = opcode leftstr
  int64[to] rightstr ( int64[]¢, uint32 n ) = opcode rightstr
  int64 numval ( utf8str¢ ) = opcode numval
  int64 numval ( ucs1str¢ ) = opcode numval
  int64 numval ( ucs2str¢ ) = opcode numval
  int64 numval ( ucs4str¢ ) = opcode numval
  void flip ( uint64[to] ) = opcode flip
  void rol ( uint64[to] ) = opcode rol
  void ror ( uint64[to] ) = opcode ror
  void sort ( uint64[to] ) = opcode sort
  void rsort ( uint64[to] ) = opcode rsort
  void shuffle ( uint64[to] ) = opcode shuffle
  void revert ( uint64[to] ) = opcode revert
  uint64[] join ( uint64[][]¢, uint64 ) = opcode join
  uint64[] join ( uint64[][]¢, uint64[]¢ ) = opcode join
  uint64[][] split ( uint64[]¢, uint64 ) = opcode split
  uint64[][] split ( uint64[]¢, uint64[]¢ ) = opcode split
  uint64 min ( uint64, uint64 ) = opcode min
  uint64 min ( uint64[to] ) = opcode min
  uint64 max ( uint64, uint64 ) = opcode max
  uint64 max ( uint64[to] ) = opcode max
  uint32 find ( uint64[to], uint64 ) = opcode find
  uint32 find ( uint64[to], uint64[]¢ ) = opcode find
  uint32 rfind ( uint64[to], uint64 ) = opcode rfind
  uint32 rfind ( uint64[to], uint64[]¢ ) = opcode rfind
  void shrinktofit ( uint64[]& ) = opcode shrinktofit
  uint64[to] substr ( uint64[]¢, uint32 a, uint32 e ) = opcode substr
  uint64[to] midstr ( uint64[]¢, uint32 i, uint32 n ) = opcode midstr
  uint64[to] leftstr ( uint64[]¢, uint32 n ) = opcode leftstr
  uint64[to] rightstr ( uint64[]¢, uint32 n ) = opcode rightstr
  uint64 numval ( utf8str¢ ) = opcode numval
  uint64 numval ( ucs1str¢ ) = opcode numval
  uint64 numval ( ucs2str¢ ) = opcode numval
  uint64 numval ( ucs4str¢ ) = opcode numval
  void flip ( utf8char[to] ) = opcode flip
  void rol ( utf8char[to] ) = opcode rol
  void ror ( utf8char[to] ) = opcode ror
  void sort ( utf8char[to] ) = opcode sort
  void rsort ( utf8char[to] ) = opcode rsort
  void shuffle ( utf8char[to] ) = opcode shuffle
  void revert ( utf8char[to] ) = opcode revert
  utf8str join ( utf8str[]¢, utf8char ) = opcode join
  utf8str join ( utf8str[]¢, utf8str¢ ) = opcode join
  utf8str[] split ( utf8str¢, utf8char ) = opcode split
  utf8str[] split ( utf8str¢, utf8str¢ ) = opcode split
  utf8char min ( utf8char, utf8char ) = opcode min
  utf8char min ( utf8char[to] ) = opcode min
  utf8char max ( utf8char, utf8char ) = opcode max
  utf8char max ( utf8char[to] ) = opcode max
  uint32 find ( utf8char[to], utf8char ) = opcode find
  uint32 find ( utf8char[to], utf8str¢ ) = opcode find
  uint32 rfind ( utf8char[to], utf8char ) = opcode rfind
  uint32 rfind ( utf8char[to], utf8str¢ ) = opcode rfind
  void shrinktofit ( utf8str& ) = opcode shrinktofit
  utf8char[to] substr ( utf8str¢, uint32 a, uint32 e ) = opcode substr
  utf8char[to] midstr ( utf8str¢, uint32 i, uint32 n ) = opcode midstr
  utf8char[to] leftstr ( utf8str¢, uint32 n ) = opcode leftstr
  utf8char[to] rightstr ( utf8str¢, uint32 n ) = opcode rightstr
  utf8char numval ( utf8str¢ ) = opcode numval
  utf8char numval ( ucs1str¢ ) = opcode numval
  utf8char numval ( ucs2str¢ ) = opcode numval
  utf8char numval ( ucs4str¢ ) = opcode numval
  void flip ( ucs1char[to] ) = opcode flip
  void rol ( ucs1char[to] ) = opcode rol
  void ror ( ucs1char[to] ) = opcode ror
  void sort ( ucs1char[to] ) = opcode sort
  void rsort ( ucs1char[to] ) = opcode rsort
  void shuffle ( ucs1char[to] ) = opcode shuffle
  void revert ( ucs1char[to] ) = opcode revert
  ucs1str join ( ucs1str[]¢, ucs1char ) = opcode join
  ucs1str join ( ucs1str[]¢, ucs1str¢ ) = opcode join
  ucs1str[] split ( ucs1str¢, ucs1char ) = opcode split
  ucs1str[] split ( ucs1str¢, ucs1str¢ ) = opcode split
  ucs1char min ( ucs1char, ucs1char ) = opcode min
  ucs1char min ( ucs1char[to] ) = opcode min
  ucs1char max ( ucs1char, ucs1char ) = opcode max
  ucs1char max ( ucs1char[to] ) = opcode max
  uint32 find ( ucs1char[to], ucs1char ) = opcode find
  uint32 find ( ucs1char[to], ucs1str¢ ) = opcode find
  uint32 rfind ( ucs1char[to], ucs1char ) = opcode rfind
  uint32 rfind ( ucs1char[to], ucs1str¢ ) = opcode rfind
  void shrinktofit ( ucs1str& ) = opcode shrinktofit
  ucs1char[to] substr ( ucs1str¢, uint32 a, uint32 e ) = opcode substr
  ucs1char[to] midstr ( ucs1str¢, uint32 i, uint32 n ) = opcode midstr
  ucs1char[to] leftstr ( ucs1str¢, uint32 n ) = opcode leftstr
  ucs1char[to] rightstr ( ucs1str¢, uint32 n ) = opcode rightstr
  ucs1char numval ( utf8str¢ ) = opcode numval
  ucs1char numval ( ucs1str¢ ) = opcode numval
  ucs1char numval ( ucs2str¢ ) = opcode numval
  ucs1char numval ( ucs4str¢ ) = opcode numval
  void flip ( ucs2char[to] ) = opcode flip
  void rol ( ucs2char[to] ) = opcode rol
  void ror ( ucs2char[to] ) = opcode ror
  void sort ( ucs2char[to] ) = opcode sort
  void rsort ( ucs2char[to] ) = opcode rsort
  void shuffle ( ucs2char[to] ) = opcode shuffle
  void revert ( ucs2char[to] ) = opcode revert
  ucs2str join ( ucs2str[]¢, ucs2char ) = opcode join
  ucs2str join ( ucs2str[]¢, ucs2str¢ ) = opcode join
  ucs2str[] split ( ucs2str¢, ucs2char ) = opcode split
  ucs2str[] split ( ucs2str¢, ucs2str¢ ) = opcode split
  ucs2char min ( ucs2char, ucs2char ) = opcode min
  ucs2char min ( ucs2char[to] ) = opcode min
  ucs2char max ( ucs2char, ucs2char ) = opcode max
  ucs2char max ( ucs2char[to] ) = opcode max
  uint32 find ( ucs2char[to], ucs2char ) = opcode find
  uint32 find ( ucs2char[to], ucs2str¢ ) = opcode find
  uint32 rfind ( ucs2char[to], ucs2char ) = opcode rfind
  uint32 rfind ( ucs2char[to], ucs2str¢ ) = opcode rfind
  void shrinktofit ( ucs2str& ) = opcode shrinktofit
  ucs2char[to] substr ( ucs2str¢, uint32 a, uint32 e ) = opcode substr
  ucs2char[to] midstr ( ucs2str¢, uint32 i, uint32 n ) = opcode midstr
  ucs2char[to] leftstr ( ucs2str¢, uint32 n ) = opcode leftstr
  ucs2char[to] rightstr ( ucs2str¢, uint32 n ) = opcode rightstr
  ucs2char numval ( utf8str¢ ) = opcode numval
  ucs2char numval ( ucs1str¢ ) = opcode numval
  ucs2char numval ( ucs2str¢ ) = opcode numval
  ucs2char numval ( ucs4str¢ ) = opcode numval
  void flip ( ucs4char[to] ) = opcode flip
  void rol ( ucs4char[to] ) = opcode rol
  void ror ( ucs4char[to] ) = opcode ror
  void sort ( ucs4char[to] ) = opcode sort
  void rsort ( ucs4char[to] ) = opcode rsort
  void shuffle ( ucs4char[to] ) = opcode shuffle
  void revert ( ucs4char[to] ) = opcode revert
  ucs4str join ( ucs4str[]¢, ucs4char ) = opcode join
  ucs4str join ( ucs4str[]¢, ucs4str¢ ) = opcode join
  ucs4str[] split ( ucs4str¢, ucs4char ) = opcode split
  ucs4str[] split ( ucs4str¢, ucs4str¢ ) = opcode split
  ucs4char min ( ucs4char, ucs4char ) = opcode min
  ucs4char min ( ucs4char[to] ) = opcode min
  ucs4char max ( ucs4char, ucs4char ) = opcode max
  ucs4char max ( ucs4char[to] ) = opcode max
  uint32 find ( ucs4char[to], ucs4char ) = opcode find
  uint32 find ( ucs4char[to], ucs4str¢ ) = opcode find
  uint32 rfind ( ucs4char[to], ucs4char ) = opcode rfind
  uint32 rfind ( ucs4char[to], ucs4str¢ ) = opcode rfind
  void shrinktofit ( ucs4str& ) = opcode shrinktofit
  ucs4char[to] substr ( ucs4str¢, uint32 a, uint32 e ) = opcode substr
  ucs4char[to] midstr ( ucs4str¢, uint32 i, uint32 n ) = opcode midstr
  ucs4char[to] leftstr ( ucs4str¢, uint32 n ) = opcode leftstr
  ucs4char[to] rightstr ( ucs4str¢, uint32 n ) = opcode rightstr
  ucs4char numval ( utf8str¢ ) = opcode numval
  ucs4char numval ( ucs1str¢ ) = opcode numval
  ucs4char numval ( ucs2str¢ ) = opcode numval
  ucs4char numval ( ucs4str¢ ) = opcode numval
  bool is_letter ( uint32 ) = opcode is_letter
  bool is_bin_digit ( uint32 ) = opcode is_bin_digit
  bool is_dec_digit ( uint32 ) = opcode is_dec_digit
  bool is_hex_digit ( uint32 ) = opcode is_hex_digit
  uint32 digit_value ( uint32 ) = opcode digit_value
  utf8str spacestr ( uint32 ) = opcode spacestr
  utf8str spacestr ( uint32, utf8char ) = opcode spacestr
  utf8str charstr ( uint32 ) = opcode charstr
  ucs4char hexchar ( uint32 )
  utf8str hexstr ( uint8 ) = opcode hexstr
  utf8str hexstr ( uint16 ) = opcode hexstr
  utf8str hexstr ( uint32 ) = opcode hexstr
  utf8str hexstr ( uint64 ) = opcode hexstr
  utf8str hexstr ( uint32, uint32 digits ) = opcode hexstr
  utf8str hexstr ( uint64, uint32 digits ) = opcode hexstr
  utf8str binstr ( uint8 ) = opcode binstr
  utf8str binstr ( uint16 ) = opcode binstr
  utf8str binstr ( uint32 ) = opcode binstr
  utf8str binstr ( uint64 ) = opcode binstr
  utf8str binstr ( uint32, uint32 digits ) = opcode binstr
  utf8str binstr ( uint64, uint32 digits ) = opcode binstr
  utf8str binstr ( uint32, utf8str¢ o, utf8str¢ l ) = opcode binstr
  utf8str binstr ( uint64, utf8str¢ o, utf8str¢ l ) = opcode binstr
  utf8str numstr ( int32 ) = opcode numstr
  utf8str numstr ( uint32 ) = opcode numstr
  utf8str numstr ( int64 ) = opcode numstr
  utf8str numstr ( uint64 ) = opcode numstr
  utf8str toupper ( utf8str¢ ) = opcode toupper
  utf8str tolower ( utf8str¢ ) = opcode tolower
  utf8str escape ( utf8str¢, ucs4char leftquote ) = opcode escape
  utf8str unescape ( utf8str¢ ) = opcode unescape
  utf8str urlencode ( utf8str¢ ) = opcode urlencode
  utf8str urldecode ( utf8str¢ ) = opcode urldecode
  utf8str entab ( utf8str¢, uint32 tabwidth ) = opcode entab
  utf8str detab ( utf8str¢, uint32 tabwidth ) = opcode detab
  utf8str toupper ( utf8char[to] ) = opcode toupper
  utf8str tolower ( utf8char[to] ) = opcode tolower
  utf8str escape ( utf8char[to], ucs4char leftquote ) = opcode escape
  utf8str unescape ( utf8char[to] ) = opcode unescape
  utf8str urlencode ( utf8char[to] ) = opcode urlencode
  utf8str urldecode ( utf8char[to] ) = opcode urldecode
  utf8str entab ( utf8char[to], uint32 tabwidth ) = opcode entab
  utf8str detab ( utf8char[to], uint32 tabwidth ) = opcode detab
  ucs1str toucs1 ( utf8str¢ ) = opcode toucs1
  ucs2str toucs2 ( utf8str¢ ) = opcode toucs2
  ucs4str toucs4 ( utf8str¢ ) = opcode toucs4
  utf8str toutf8 ( utf8str¢ ) = opcode toutf8
  ucs1str toucs1 ( utf8char[to] ) = opcode toucs1
  ucs2str toucs2 ( utf8char[to] ) = opcode toucs2
  ucs4str toucs4 ( utf8char[to] ) = opcode toucs4
  utf8str toutf8 ( utf8char[to] ) = opcode toutf8
  utf8str min ( utf8str, utf8str ) = opcode min
  utf8str min ( utf8str, utf8str¢ ) = opcode min
  utf8str min ( utf8str¢, utf8str ) = opcode min
  utf8str¢ min ( utf8str¢, utf8str¢ ) = opcode min
  utf8str¢ min ( utf8str[]¢ ) = opcode min
  utf8str¢ min ( utf8str[to] ) = opcode min
  utf8str max ( utf8str, utf8str ) = opcode max
  utf8str max ( utf8str, utf8str¢ ) = opcode max
  utf8str max ( utf8str¢, utf8str ) = opcode max
  utf8str¢ max ( utf8str¢, utf8str¢ ) = opcode max
  utf8str¢ max ( utf8str[]¢ ) = opcode max
  utf8str¢ max ( utf8str[to] ) = opcode max
  void flip ( utf8str[to] ) = opcode flip
  void rol ( utf8str[to] ) = opcode rol
  void ror ( utf8str[to] ) = opcode ror
  void sort ( utf8str[to] ) = opcode sort
  void rsort ( utf8str[to] ) = opcode rsort
  void shuffle ( utf8str[to] ) = opcode shuffle
  void revert ( utf8str[to] ) = opcode revert
  void memcpy ( int8* z, int8* q, uint32 cnt ) = opcode memcpy
  void memset ( int8* z, int32 q, uint32 cnt ) = opcode memset
  void memclr ( int8* z, uint32 cnt ) = opcode memclr
  const uint32 tm_utc = 0
  const uint32 tm_localtime = 1
  const uint32 tm_time = 2
  const uint32 tm_date = 4
  const uint32 tm_timezone = 8
  const uint32 tm_sec = 16
  const uint32 tm_msec = 32
  float64 now () = opcode now
  utf8str timestr ( float64 seconds, uint32 flags ) = opcode timestr
  float64 timeval ( utf8str¢, uint32 flags ) = opcode timeval
  type tid_state1 = enum int16
  const tid_state1 not_linked = 0
  const tid_state1 running = 1
  const tid_state1 timeshed = 2
  const tid_state1 suspended = 3
  type tid_state2 = enum int16
  const tid_state2 not_sheduled = 0
  const tid_state2 semashed = 1
  const tid_state2 mutexshed = 2
  const tid_state2 irptshed = 3
  Thread new () = opcode new
  Thread new ( int16 prio ) = opcode new
  Thread new ( int16 prio, uint32 vsz, uint32 rsz ) = opcode new
  Tid self () = opcode self
  int32 num_cores () = opcode num_cores
  uint32 vfree () = opcode vfree
  uint32 rfree () = opcode rfree
  void freeze ( bool ) = opcode freeze
  void termi ( Tid ) = opcode termi
  void suspend ( Tid ) = opcode suspend
  void resume ( Tid ) = opcode resume
  void termi () = opcode termi
  void suspend () = opcode suspend
  void wait () = opcode wait
  void wait ( float64 sec ) = opcode wait
  void shedule ( float64 when ) = opcode shedule
  void busywait ( uint32 usec ) = opcode busywait
  Sema new () = opcode new
  Mutex new () = opcode new
  Irpt new () = opcode new
  void abort () = opcode abort
  void abort ( utf8str msg ) = opcode abort
  void abort ( utf8str¢ msg ) = opcode abort
  void TODO ()
  void PANIC ( utf8str msg )
  void PANIC ( utf8str¢ msg )
  void tron () = opcode tron
  void troff () = opcode troff
  global scope vt100
    var utf8str request_position
    var utf8str save_position
    var utf8str restore_position
    var utf8str cursor_left_1
    var utf8str cursor_right_1
    var utf8str cursor_up_1
    var utf8str cursor_down_1
    var utf8str clear_right
    var utf8str clear_left
    var utf8str clear_down
    var utf8str clear_up
    var utf8str clear_line
    var utf8str clear_screen
    var utf8str cls
    utf8str locate ( int32 row, int32 col )
    utf8str hlocate ( int32 col )
    utf8str vlocate ( int32 row )
    utf8str cursor_left ( int32 n )
    utf8str cursor_right ( int32 n )
    utf8str cursor_up ( int32 n )
    utf8str cursor_down ( int32 n )
  var int32 errors
  void test ( int32 line, int32 a, int32 b )
  void test ( int32 line, int64 a, int64 b )
  void test ( int32 line, int16 a, int16 b )
  void test ( int32 line, int8 a, int8 b )
  void test ( int32 line, int32 a, uint32 b )
  void test ( int32 line, int64 a, uint64 b )
  void test ( int32 line, int16 a, uint16 b )
  void test ( int32 line, int8 a, uint8 b )
  void test ( int32 line, uint32 a, uint32 b )
  void test ( int32 line, uint64 a, uint64 b )
  void test ( int32 line, uint16 a, uint16 b )
  void test ( int32 line, uint8 a, uint8 b )
  void test ( int32 line, uint32 a, int32 b )
  void test ( int32 line, uint64 a, int64 b )
  void test ( int32 line, uint16 a, int16 b )
  void test ( int32 line, uint8 a, int8 b )
  void test ( int32 line, float64 a, float64 b )
  void test ( int32 line, float32 a, float32 b )
  void test ( int32 line, float128 a, float128 b )
  void test ( int32 line, utf8str¢ a, utf8str¢ b )
  void test_minimum_functionality ()
  void test_numeric_operators ()
  void test_numeric_functions ( float64 )
    var float64 a
    var float64 b
    var float64 stacktest
    var float64 c
    var float64 d
  void test_numeric_functions ( float128 )
    var float128 a
    var float128 b
    var float128 stacktest
    var float128 c
    var float128 d
  void test_numeric_functions ( float32 )
    var float32 a
    var float32 b
    var float32 stacktest
    var float32 c
    var float32 d
  void test_numeric_functions ( int32 )
    var int32 a
    var int32 b
    var int32 stacktest
    var int32 c
    var int32 d
    local scope ANON
      var uint8 a
      var uint8 b
    local scope ANON
      var uint16 a
      var uint16 b
    local scope ANON
      var uint32 a
      var uint32 b
    local scope ANON
      var uint64 a
      var uint64 b
    uint32 achterbahn ( uint16 x )
      var uint32 n
    uint32 achterbahn ( uint32 x )
      var uint32 n
    uint32 achterbahn ( uint64 x )
      var uint32 n
    uint32 ackermann ( uint32 x, uint32 y )
    uint16 ackermann ( uint16 x, uint16 y )
    uint32[][] hanoi ( uint32 von, uint32 nach, uint32 höhe )
      var int32 z
    void test ( int32 line, uint32[][]¢ a, uint32[][]¢ b )
      var uint32 i
  void test_string_functions ()