There are other kinds of embedded devices POSIX pacemaker? Will you have a 32-bit medical device in 2038?