Just ignore this post, it is a test post and might be vanish at any point in time. I just have to test and configure all the wordpress plugins I'm going to need for my blog.

procedure HW()
begin
  System.Writeln("Hello World")
end;

abc