actually calling check() in main might help