/** Copyright 2015 Haiku, Inc. All rights reserved.* Distributed under the terms of the MIT License.** Authors:* Michael Lotz, mmlr@mlotz.ch*/#include <OS.h>#include <stdio.h>intmain(int argc, char* argv[]){printf("%" B_PRIdBIGTIME "\n", system_time());return 0;}