Convert buffer check for PREFIX_restart into simple form