let
void_spectreelist = [
TypeSpec
(
PtypespecBuiltin
Void
)]