argtype: 5
format: '%2b'
  5 <-1>: false
EOF reached