Update bafo.c