Using <int> instead of <reg<32>> or <ptr<32>>