2023/02/12 08:04:58 SYZFATAL: BUG: got no coverage: