Hello from miri_start!