ref: f8b0dea7c521d0a1565027c492dd42cabc6f0926
dir: /rc/bin/uptime/
#!/bin/awk -f
BEGIN{
getline sysname < "/dev/sysname";
getline < "/dev/time";
sec = sprintf("%d", $3/$4);
ct = sprintf("%02d:%02d:%02d", sec%86400/3600, sec%86400%3600/60, sec%60);
printf("%s up %d days, %s\n", sysname, sec/86400, ct);
exit
}