pub const MAX_POINTER_SIZE: usize = 1024;
Hard cap on pointer file size.
Pointer files must be strictly smaller than this value (per the spec); inputs of this size or larger are not pointers.