Array concatenation (Vala)

array_concat.vala

/**
 * This function doesn't use generic,
 * because of 'sizeof(T)' problem.
 */
public void[] array_concat (void[] a, void[] b) {
	void[] c = new void[a.length + b.length];
	Memory.copy(c, a, a.length);
	Memory.copy(&c[a.length], b, b.length);
	return c;
}