extern func strlen(msg: String): int64;