The original LinuxSyscallRequest and LinuxSyscallResponse families are the
wire contract already consumed by the native executor. The identity-bound
layer below deliberately wraps that contract rather than changing the arity
of its constructors. fstat and clock_gettime are typed extensions because
their successful receipts carry decoded kernel structures rather than an
untyped byte buffer.
598def linuxZeroWord64 =
599 (constructor
600 ModelWord64
601 ModelWord64Value
602 (byte 0)
603 (byte 0)
604 (byte 0)
605 (byte 0)
606 (byte 0)
607 (byte 0)
608 (byte 0)
609 (byte 0))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.