AvmThunkUnbox_uint32_t   92 core/builtin.cpp         AvmThunkUnbox_uint32_t(argv[argoff1])
AvmThunkUnbox_uint32_t   93 core/builtin.cpp         , AvmThunkUnbox_uint32_t(argv[argoff2])
AvmThunkUnbox_uint32_t   94 core/builtin.cpp         , AvmThunkUnbox_uint32_t(argv[argoff3])
AvmThunkUnbox_uint32_t  371 core/builtin.cpp         AvmThunkUnbox_uint32_t(argv[argoff1])
AvmThunkUnbox_uint32_t  612 core/builtin.cpp         , AvmThunkUnbox_uint32_t(argv[argoff2])
AvmThunkUnbox_uint32_t 1019 core/builtin.cpp         , AvmThunkUnbox_uint32_t(argv[argoff3])
AvmThunkUnbox_uint32_t  122 shell/shell_toplevel.cpp         , (argc < 2 ? AvmThunkCoerce_int32_t_uint32_t(0) : AvmThunkUnbox_uint32_t(argv[argoff2]))
AvmThunkUnbox_uint32_t  123 shell/shell_toplevel.cpp         , (argc < 3 ? AvmThunkCoerce_int32_t_uint32_t(0) : AvmThunkUnbox_uint32_t(argv[argoff3]))
AvmThunkUnbox_uint32_t  461 shell/shell_toplevel.cpp         AvmThunkUnbox_uint32_t(argv[argoff1])
AvmThunkUnbox_uint32_t  645 shell/shell_toplevel.cpp         AvmThunkUnbox_uint32_t(argv[argoff1])
AvmThunkUnbox_uint32_t  699 shell/shell_toplevel.cpp         , AvmThunkUnbox_uint32_t(argv[argoff3])