device symbols: io2 and microio