int42