Update the Pascal interface in contrib/pascal.