pub type Platform = PosixTimer;
Platform alias to POSIX timer
struct Platform { /* private fields */ }