/*
 * 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>


int
main(int argc, char* argv[])
{
        printf("%" B_PRIdBIGTIME "\n", system_time());
        return 0;
}