import c

global func main(argc: i64, argv: i64) {
    printf("args: %d, starts at %p\n", argc, argv)
}