/* EMPTY ON PURPOSE. Why do the intel and ARM arch have 2 versions of it? */