/* CTF 1.8 */
typealias integer { size =