Basic IO notation