add int-ex and scanf-ex