Source position: GPCStrings.pas line 300
procedure Str31IntoStr15(
const s: Str31;
var theResult: Str15
);