/* TODO: return compose(c, (some avx garbage));
*/