prolog_flags(false, toward_zero, on, error, atom).
