public static extern unsafe void free_platforms(Platform *platforms, uint num_platforms);
public static extern unsafe int get_platforms(Platform *platforms, uint numPlatforms);
public static extern unsafe void free_platforms(Platform *platforms, uint num_platforms);
public static extern unsafe int get_platforms(Platform *platforms, uint numPlatforms);