x86-normalize does not completely fold int consts
code-gen & print-code; unimplemented: tail-call