PRTO does not appear to be halted (http://www.nasdaqtrader.com/Trader.aspx?id=Tradehalts ); I don't know why it hasn't traded.