[squirrelfish] Implementing Object.getOwnPropertyNames()