0x38c59765 relies on unsafe/foreign
0x38c59765d1dfcdb7e4b4aa026bafb649
no description
Anonymous package: import it by hash.
Earlier versions (1)
- 0xe03885ed 2026-09-27
- Published
- 2026-09-27
- Size
- 82,516 bytes, 5 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 595 defs, 18 types
Import
import 0x38c59765d1dfcdb7e4b4aa026bafb649/bendana.bend as Bendana import 0x38c59765d1dfcdb7e4b4aa026bafb649/sol.bend as Sol import 0x38c59765d1dfcdb7e4b4aa026bafb649/sysvar.bend as Sysvar import 0x38c59765d1dfcdb7e4b4aa026bafb649/token.bend as Token import 0x38c59765d1dfcdb7e4b4aa026bafb649/types.bend as Types
Modules
- bendana.bend 3 declarations
- sol.bend 167 declarations
- sysvar.bend 24 declarations
- token.bend 10 declarations
- types.bend 437 declarations
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| bendana.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.go, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.step, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.go, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread.sign, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.go - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.step - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.go - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread.sign - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.main | 1.1 s |
| sol.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.go, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.step, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.go, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread.sign, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.go - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.step - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.go - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread.sign - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.main | 0.9 s |
| sysvar.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.go, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.step, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.go, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread.sign, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.go - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.step - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.go - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread.sign - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.main | 0.9 s |
| token.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.go, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.step, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.go, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.if, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread.sign, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.show, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.read, 0x38c59765d1dfcdb7e4b4aa026bafb649/types.mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.go - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.step - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sshow - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.go - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read.if - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread.sign - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.W.sread - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u8.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u16.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u32.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u64.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.u128.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i8.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i16.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i32.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i64.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.show - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.i128.read - 0x38c59765d1dfcdb7e4b4aa026bafb649/types.main | 1.2 s |
| types.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: W.show.go, W.show.step, W.show.if, W.show, W.sshow.if, W.sshow, W.read.go, W.read.if, W.read, W.sread.sign, W.sread, u8.show, u8.read, u16.show, u16.read, u32.show, u32.read, u64.show, u64.read, u128.show, u128.read, i8.show, i8.read, i16.show, i16.read, i32.show, i32.read, i64.show, i64.read, i128.show, i128.read, mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - W.show.go - W.show.step - W.show.if - W.show - W.sshow.if - W.sshow - W.read.go - W.read.if - W.read - W.sread.sign - W.sread - u8.show - u8.read - u16.show - u16.read - u32.show - u32.read - u64.show - u64.read - u128.show - u128.read - i8.show - i8.read - i16.show - i16.read - i32.show - i32.read - i64.show - i64.read - i128.show - i128.read - main | 1.0 s |