function main(b: bool) {
  assert_eq!(b, true);
}