A simple online judge system.