[A] add overflow detector