device symbols: xv65 and stdout