#! stap -p4

# Test for reading 64-bit target variable, PR 1271

probe kernel.function("free_task")
{
	log("timestamp " . string($tsk->timestamp))
}