寻观「标准库」之书。 「:古:名以命实,类以定用。今:分别定义整数与字符串。:」 「年岁」乃「整数」也。 「年岁」者「二零二六」也。 「篇名」乃「字符串」也。 「篇名」者『豫言赋』也。 「打印行」于(「字符串拼接」于「篇名」于 (「字符串拼接」于『,纪年:』于(「整数表示」于「年岁」)))。