fn main() {
    fn packets(trays: u32) -> Option<u32> { trays.checked_mul(3) }
    assert_eq!(packets(4), Some(12));
    assert_eq!(packets(u32::MAX), None);
    println!("Four trays give 12 packets; overflowing count refused");
}