Generated by import, tested on x86_64.