BPA graphs and source code