At 7:45 famous inputs to property-based testing frameworks, like for integers 1, -1, 0, int max, int min (#)