#include <ap_int.h>

typedef ap_uint<32> data_t;
typedef ap_uint<12> addr_t;

void foo(volatile data_t mem[4096], data_t data, addr_t addr, bool wen) {
    #pragma HLS INTERFACE bram port=mem

    if (wen)
	mem[addr] = data;

}