// Test panic.
// Error: 7-12 panicked with: 123
#panic(123)