let void_spectreelist = [TypeSpec (PtypespecBuiltin Void)]