priority queue on nios II using Standard Template Library or libstdc++

Hi, would like to implement a simple priority queue on the nios II procesor using Nios II SBT. First hits on google suggest the use of Standard Template Library STL. So this would be my first c...