A simple system checker