#include <perms.h>
static void R10(int A, int K) {}