bf-to-c, just for fun