<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def path_get_destination(p: tcod.path.AStar) -> Tuple[int, int]: """Get the current destination position. Args: p (AStar):
 An AStar instance. Returns: Tuple[int, int]: An (x, y) point. """

    x = ffi.new("int *")
    y = ffi.new("int *")
    lib.TCOD_path_get_destination(p._path_c, x, y)
    return x[0], y[0]