// Dummy file to make it possible to compile simulator with Flix' util.h