(_) -> [1]

write_io 1
return