let
first_chars s n = sub s 0 n