Input externs and an example