better debugging in bp/main.c