Chef: BB notifications as concrete S2E syscalls.