printf OUT "%04x", $device{ram_start};