uint64 timestamp # Microseconds since system boot
int32[100] string
uint64 MAX_STRLEN = 100
uint64 strlen