Various bits of framework needed for precise machine-level selection