+/*
+ * Function: platform_ctime
+ * Convert a time value to a string and adjust for local time zone
+ * settings.
+ *
+ * Parameters:
+ * timer - Pointer to stored time.
+ *
+ * Returns:
+ * Pointer to the character string result. NULL will be returned if time
+ * represents a date before midnight, January 1, 1970, UTC.
+ *
+ * Remarks:
+ * Converts a time value stored as a `time_t` value into a chracter string.
+ * The `timer` value is usually obtained from a call to *time*, which returns
+ * the number of seconds since midnight, January 1, 1970 UTC. The return
+ * value of the string contains exactly 26 characters. A 24-hour clock is used.
+ * All fields have constant width. The newline chracter and the null character
+ * occupy the last two positions of the string. The converted character string
+ * is also adjusted according to the local time zone settings.
+ */