better bulk_string from flex