proc pkgBTest*(): int64 = 0xDEADBEEF