Frontend code for nbrno