cabalize
use plain IO for now