these are the new version of gpios, swtimers and types

swtimers are not validated