Debug Output
Lines can also be used to write to std_out:
CheckProcess: process(clk)
if clk'event and clk = '1' then
write(line_out, string'(At time ));
write(line_out, string'(, output is ));
write(line_out, alu_result;
writeline(output, line_out);