proc pkgCTest*(): int64 = 0xDEADBEEF