int printf(const char *,...);

typedef float        ps2_vu0_fmatrix[4][4] __attribute__((aligned (16)));
typedef ps2_vu0_fmatrix FMATRIX;


void  ps2_vu0_unit_matrix(ps2_vu0_fmatrix m);


void  ps2_vu0_unit_matrix(ps2_vu0_fmatrix m)
{
    printf("%g\n",m[1][1]);
}

int
main(int ac, char *av[])
{
    FMATRIX m;

    m[1][1] = 0.5;
    ps2_vu0_unit_matrix(m);
}