define void @zed() {
  ret void
}