Explicitly cast mark to int