#include <stdint.h>
#include "rt.h"
#include "weights_tl.h"
extern void vk_8_init_scaled(int32_t *, int, int, const int32_t *, int32_t);
const int8_t *vk_x;
static int8_t act[64] __attribute__((aligned(4)));
static int32_t S[4] = {1, 1, 1, 1}, out[4];
int main(void) {
    for (int i = 0; i < 64; i++) act[i] = 0;
    act[0] = 100; act[1] = 50; act[2] = -30;
    vk_x = act;
    vk_8_init_scaled(out, G_HEAD, 4, S, 1 << 30);
    volatile int32_t *dump = (volatile int32_t *)0xE000;
    for (int k = 0; k < 4; k++) dump[k] = out[k];
    return 0;
}