type.cstddef ≡

using size_t = uint64 §

using float = float32 §