-2 bytes thanks to corvus_192
import os os.execl(*"aa",*int(input()).to_bytes(4).split(b'\0'))
Uses big endian and assumes binary is named "a".